onthePutnamMathematicalCompetition

Feb-8-2026, 09:37:16 GMT–Neural Information Processing Systems

Automating mathematical reasoning is a longstanding goal in artificial intelligence (Newell et al., 1957).

large language model, machine learning, natural language, (21 more...)

Neural Information Processing Systems

Feb-8-2026, 09:37:16 GMT

Conferences PDF

Country:
- North America
  - Canada > Quebec
    - Montreal (0.04)
  - United States (0.14)

Genre:
- Research Report (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.48)
  - Natural Language > Large Language Model (0.70)
  - Representation & Reasoning (0.68)

Duplicate Docs Excel Report

Title
Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Similar Docs Excel Report more

Title	Similarity	Source
None found