Faculty

Institution

Unit

Venue

Ernest Davis

Professor of Computer Science

New York University

Affiliations

Arts & Science

Computer Science

Courant Institute of Mathematical Sciences

Computer Science

NYU Abu Dhabi

Division of Science

Ernest Davis is currently serving as an Arts & Science Professor of Computer Science at New York University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ernest Davis

New York University

Professor of Computer Science

You can click a keyword to filter the displayed items

computer science artificial intelligence automated reasoning mathematics knowledge representation and reasoning computational intelligence logic in computer science applied mathematics language intelligent computing mathematics education commonsense reasoning machine learning commonsense knowledge semantics informatics machine translation approximate reasoning kinematics knowledge management semantic evaluation information technology learning analytics programming languages planning theory human-ai interaction simulation methodology courant institute science problems qualitative research knowledge economy human-computer interaction machine learning research physic education distributed knowledge computational logic logical frameworks computer-assisted translation neural machine translation ai foundation code representation ai program human mind wolfram alpha code interpreter plug-ins mereotopological relations condensed matter physics knowledge sharing collective knowledge explainable ai semantic interoperability qualitative reasoning motion analysis structure from motion test development historical transition computational semantics simulation language system simulation machine learning models geometric learning code generation data coding code validation source code analysis simulation modelling qualitative interpretation artificial intelligence research knowledge preconditions college math problems commonsense predictions solid object behaviour continuous shape transformation solid objects solid object physics solid object kinematics reasoning system

Notable Scholarly Works

Notable Federal Grants

Collaborators

AI Still Lacks “Common” Sense, 70 Years Later.. (2025)

machine intelligenceartificial intelligenceresponsible aimultidisciplinary aicomputational intelligenceartificial general intelligencecognitive sciencecognitionknowledge representation and reasoning

ALPHAGEOMETRY2: Impressive Accomplishment, but Still a Long Path Ahead.. (2025)

history of mathematicsacta astronauticaimpressive accomplishmentspace explorationhistory of scienceastronomy

A Set of 20 Handcrafted Problems From High School and Introductory Undergraduate Math, and the Performance of Three Recent Variants of Chatgpt. (2025)

computational mathematicshigh schoolrecent variantscomputational thinkingcombinatorial problemsphilosophy of mathematicscombinatorial optimizationdiscrete mathematicsmathematics educationhandcrafted problemsmathematicsapplied mathematics

Deepmind and Openai Achieve Imo Gold. What Does It All Mean?. (2025)

machine intelligencetechnologyopen-source intelligenceopen scienceai architectureartificial intelligenceintelligent computingimo golddata scienceartificial general intelligencecomputer science

Reports of Llms Mastering Math Have Been Greatly Exaggerated. Substack blog (2025)

mathematics teacher educationlearning analyticsphilosophy of mathematicsapplied mathematicsmathematicsmathematics education

Some Comments on Alphaevolve. Substack blog (2025)

software versioningabstract and applied analysissoftware repositories

The Bot and the Psalter. Substack blog (2025)

communicationroboticsvirtual agentsartificial intelligenceintelligent robotic systemsintelligent systemshuman agent interactioncomputer scienceintelligent robothuman robot interactionautomationchatbots

The Latest AI Scaling Graph — and Why It Hardly Makes Sense. Substack blog (2025)

machine intelligencegraph processinglatest aiglobal networksgraph theoryai architectureartificial intelligenceintelligent computinggraph analysisintelligent systemsdata sciencecomputational intelligencescale-free networkgraph —computer sciencelarge-scale network

An Ill-Designed Study of Math Problems in Large Language Models: Review of (Ye, Xu, LI, and Allen-Zhu, 2024).. (2024)

general linguisticsmath problemssemantic evaluationlanguage modelsnatural language processingmathematical linguisticslanguageill-designed studylanguage resourcesmathematicslarge language models

Comment on (Romera-Paredes Et Al., 2023), “Mathematical Discoveries From Program Search With Large Language Models”. (2024)

program searchlarge language modelsabstract interpretationcomputational complexityprogram analysislanguage modelsnatural language processingmathematical linguisticsromera-paredes et al.programming languagescomputer sciencemathematicsautomated reasoning

1
2
3
4
5
13
10 / page

Ernest Davis

Professor of Computer Science

New York University

Affiliations

Arts & Science

Computer Science

Courant Institute of Mathematical Sciences

Computer Science

NYU Abu Dhabi

Division of Science

Ernest Davis is currently serving as an Arts & Science Professor of Computer Science at New York University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ernest Davis

New York University

Professor of Computer Science

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

AI Still Lacks “Common” Sense, 70 Years Later.. (2025)

machine intelligenceartificial intelligenceresponsible aimultidisciplinary aicomputational intelligenceartificial general intelligencecognitive sciencecognitionknowledge representation and reasoning

ALPHAGEOMETRY2: Impressive Accomplishment, but Still a Long Path Ahead.. (2025)

history of mathematicsacta astronauticaimpressive accomplishmentspace explorationhistory of scienceastronomy

A Set of 20 Handcrafted Problems From High School and Introductory Undergraduate Math, and the Performance of Three Recent Variants of Chatgpt. (2025)

Deepmind and Openai Achieve Imo Gold. What Does It All Mean?. (2025)

machine intelligencetechnologyopen-source intelligenceopen scienceai architectureartificial intelligenceintelligent computingimo golddata scienceartificial general intelligencecomputer science

Reports of Llms Mastering Math Have Been Greatly Exaggerated. Substack blog (2025)

mathematics teacher educationlearning analyticsphilosophy of mathematicsapplied mathematicsmathematicsmathematics education

Some Comments on Alphaevolve. Substack blog (2025)

software versioningabstract and applied analysissoftware repositories

The Bot and the Psalter. Substack blog (2025)

The Latest AI Scaling Graph — and Why It Hardly Makes Sense. Substack blog (2025)

An Ill-Designed Study of Math Problems in Large Language Models: Review of (Ye, Xu, LI, and Allen-Zhu, 2024).. (2024)

general linguisticsmath problemssemantic evaluationlanguage modelsnatural language processingmathematical linguisticslanguageill-designed studylanguage resourcesmathematicslarge language models

Comment on (Romera-Paredes Et Al., 2023), “Mathematical Discoveries From Program Search With Large Language Models”. (2024)

1
2
3
4
5
13
10 / page

Similar Faculty Members

Haym B Hirsh

Institution

Cornell University

artificial society

multidisciplinary ai

Chinmay Hegde

Institution

New York University

multidisciplinary ai

computational intelligence

Samuel Bowman

Institution

New York University

deep learning

computational intelligence

Jerry Robert Hobbs

Institution

University of Southern California

applied linguistics

language technologies

James H. Moor

Institution

Dartmouth College

philosophy of computer science

multidisciplinary ai

Eric Nyberg

Institution

Carnegie Mellon University

educational application

language

Jack Mostow

Institution

Carnegie Mellon University

speech recognition

language

Diyi Yang

Institution

Stanford University

multidisciplinary ai

computational intelligence

Sean Xiang Ren

Institution

University of Southern California

semantic network

computational linguistics

George Cybenko

Institution

Dartmouth College

information theory

information system planning

Similar Faculty Members

Haym B Hirsh

Institution

Cornell University

artificial society

multidisciplinary ai

Chinmay Hegde

Institution

New York University

multidisciplinary ai

computational intelligence

Samuel Bowman

Institution

New York University

deep learning

computational intelligence

Jerry Robert Hobbs

Institution

University of Southern California

applied linguistics

language technologies

James H. Moor

Institution

Dartmouth College

philosophy of computer science

multidisciplinary ai

Eric Nyberg

Institution

Carnegie Mellon University

educational application

language

Jack Mostow

Institution

Carnegie Mellon University

speech recognition

language

Diyi Yang

Institution

Stanford University

multidisciplinary ai

computational intelligence

Sean Xiang Ren

Institution

University of Southern California

semantic network

computational linguistics

George Cybenko

Institution

Dartmouth College

information theory

information system planning