Picture for Ernest Davis

Ernest Davis

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems

Add code
Aug 14, 2023
Figure 1 for Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
Figure 2 for Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
Figure 3 for Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
Figure 4 for Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
Viaarxiv icon

Benchmarks for Automated Commonsense Reasoning: A Survey

Add code
Feb 22, 2023
Viaarxiv icon

Mathematics, word problems, common sense, and artificial intelligence

Add code
Jan 25, 2023
Figure 1 for Mathematics, word problems, common sense, and artificial intelligence
Figure 2 for Mathematics, word problems, common sense, and artificial intelligence
Viaarxiv icon

Limits of an AI program for solving college math problems

Add code
Aug 14, 2022
Viaarxiv icon

A very preliminary analysis of DALL-E 2

Add code
May 02, 2022
Viaarxiv icon

Pragmatic constraints and pronoun reference disambiguation: the possible and the impossible

Add code
Apr 05, 2022
Viaarxiv icon

Physical Reasoning in an Open World

Add code
Jan 22, 2022
Figure 1 for Physical Reasoning in an Open World
Viaarxiv icon

The Defeat of the Winograd Schema Challenge

Add code
Jan 16, 2022
Figure 1 for The Defeat of the Winograd Schema Challenge
Figure 2 for The Defeat of the Winograd Schema Challenge
Figure 3 for The Defeat of the Winograd Schema Challenge
Figure 4 for The Defeat of the Winograd Schema Challenge
Viaarxiv icon

Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021)

Add code
Dec 09, 2021
Viaarxiv icon

A Flawed Dataset for Symbolic Equation Verification

Add code
May 28, 2021
Viaarxiv icon