Buchumschlag

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tsoukalas, George, Lee, Jasper, Jennings, John, Xin, Jimmy, Ding, Michelle, Jennings, Michael, Thakur, Amitayush, Chaudhuri, Swarat
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Computation and Language Machine Learning Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An In-Context Learning Agent for Formal Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2023)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
von: Baudart, Guillaume, et al.
Veröffentlicht: (2026)

Theorem Provers: One Size Fits All?
von: Oates, Harrison, et al.
Veröffentlicht: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
von: Li, Jinzheng, et al.
Veröffentlicht: (2026)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
von: Shen, Ziju, et al.
Veröffentlicht: (2025)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
von: Tang, Xichen
Veröffentlicht: (2025)

Learning Quantitative Automata Modulo Theories
von: Hsiung, Eric, et al.
Veröffentlicht: (2024)

CSLib: The Lean Computer Science Library
von: Barrett, Clark, et al.
Veröffentlicht: (2026)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
von: Li, Guchan, et al.
Veröffentlicht: (2026)

Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
von: Allen, Bradley P.
Veröffentlicht: (2026)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

Learning Interestingness in Automated Mathematical Theory Formation
von: Tsoukalas, George, et al.
Veröffentlicht: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
von: Ahuja, Riyaz, et al.
Veröffentlicht: (2026)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
von: Gulati, Aryan, et al.
Veröffentlicht: (2025)

Automated Theorem Proving for Prolog Verification
von: Mesnard, Fred, et al.
Veröffentlicht: (2026)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
von: Xin, Huajian, et al.
Veröffentlicht: (2024)

Constructive validity of a generalized Kreisel-Putnam rule
von: Pezlar, Ivo
Veröffentlicht: (2023)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
von: Lohse, Janine, et al.
Veröffentlicht: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Llemma: An Open Language Model For Mathematics
von: Azerbayev, Zhangir, et al.
Veröffentlicht: (2023)

ASP-Bench: From Natural Language to Logic Programs
von: Szeider, Stefan
Veröffentlicht: (2026)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
von: Vin, Eric, et al.
Veröffentlicht: (2025)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
von: Liu, Qi, et al.
Veröffentlicht: (2025)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
von: Bourigault, Pauline, et al.
Veröffentlicht: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
von: Liu, Chengwu, et al.
Veröffentlicht: (2026)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
von: Rahman, A M Muntasir, et al.
Veröffentlicht: (2024)

Parikh's Theorem Made Symbolic
von: Hague, Matthew, et al.
Veröffentlicht: (2023)

Dynamic IFC Theorems for Free!
von: Algehed, Maximilian, et al.
Veröffentlicht: (2020)

Small Scale Reflection for the Working Lean User
von: Gladshtein, Vladimir, et al.
Veröffentlicht: (2024)

Compression of enumerations and gain
von: Barmpalias, George, et al.
Veröffentlicht: (2023)

A Dichotomy Theorem for Automatic Structures
von: Cuvelier, Antoine, et al.
Veröffentlicht: (2026)

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
von: Carl, Merlin
Veröffentlicht: (2023)

Programming Really Is Simple Mathematics
von: Meyer, Bertrand, et al.
Veröffentlicht: (2025)

Batched Low-Rank Adaptation of Foundation Models
von: Wen, Yeming, et al.
Veröffentlicht: (2023)