OpenAI Developer Forum
Autumn's Algebraic Logic Interface
ChatGPT
Use cases and examples
gpt-4
dartmeadow
February 17, 2024, 9:31pm
1
Autumn’s Algebraic Logic access interface is being prototyped with chatgpt:
1000001265
1080×2340 170 KB
Related Topics
Topic
Replies
Views
Activity
Verification of the first order logic rules for quantification
Community
gpt-4
,
math
,
logic
1
31
July 29, 2024
Technical Conversations with GPT-4
Feedback
gpt-4
2
438
February 27, 2024
Teaching GPT-3 LaTeX
API
5
1946
July 21, 2023
ChatGPT: First Impressions - LessWrong
Prompting
1
827
February 6, 2024
How to make GPT 3.5 to be a bit smarter in math?
Prompting
4
5383
April 29, 2023