Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Oct-9-2025, 19:17:38 GMT–Neural Information Processing Systems

Automating mathematical reasoning is a longstanding goal in artificial intelligence (Newell et al., 1957). A prominent line of work on the problem (Li et al., 2024) uses neural models to direct

large language model, logic & formal reasoning, machine learning, (20 more...)

Neural Information Processing Systems

Oct-9-2025, 19:17:38 GMT

Conferences PDF

Country:
- North America
  - Canada (0.14)
  - United States (0.14)

Genre:
- Research Report (0.67)

Industry:
- Education > Educational Setting (0.68)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.95)
  - Natural Language > Large Language Model (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
onthePutnamMathematicalCompetition

Similar Docs Excel Report more

Title	Similarity	Source
None found