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
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
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