Paper Citation Record · LEDGER

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

As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 32 inbound Pith citation observations for arXiv:2407.11214.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2407.11214 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 32 of 32 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T22:00:46.392984Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

1
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 78453e3f-994b-4be4-b14a-32a9eb819004 · inbound

Humanity's Last Exam cites this paper.

Humanity's Last Exam PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 55

Resolution: verified exact; arxiv_id, observed 2026-05-10T18:40:50.306620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 85455684-eeac-4edf-bbd2-abed94d25ea1 · inbound

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving cites this paper.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-08T22:00:46.392984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c95dd18-1e29-4885-9d17-00c823fdb9eb · inbound

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving cites this paper.

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-08T12:07:05.036407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1640ce97-cb64-4d6a-ae3f-fe1c9ff09528 · inbound

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning cites this paper.

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T18:32:40.910676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ae65675f-1f36-409d-912c-56332d3a9584 · inbound

Formally Solving Answer-Construction Problems in Lean cites this paper.

Formally Solving Answer-Construction Problems in Lean PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T14:34:09.417792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 023917f0-443d-47fe-aa5f-43cee0c92f78 · inbound

Decomposing Elements of Problem Solving: What "Math" Does RL Teach? cites this paper.

Decomposing Elements of Problem Solving: What "Math" Does RL Teach? PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T13:05:25.371971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6682b7f7-74f1-4ac8-bde0-9a638f0defc3 · inbound

MathArena: Evaluating LLMs on Uncontaminated Math Competitions cites this paper.

MathArena: Evaluating LLMs on Uncontaminated Math Competitions PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 32

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T00:10:14.872571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d0cab9c9-272d-4b39-9ffc-587b1563e01b · inbound

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? cites this paper.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-07T06:08:26.694429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db110a9d-160a-4049-b9d8-16211cbc2dbd · inbound

Mathesis: Towards Formal Theorem Proving from Natural Languages cites this paper.

Mathesis: Towards Formal Theorem Proving from Natural Languages PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T05:50:36.692151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f38a1ea-c9a6-48bf-9f5f-846568caa664 · inbound

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving cites this paper.

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:28.810180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 338f8433-643c-49dc-8de2-86666a1c4b02 · inbound

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning cites this paper.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.473010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32c37c79-a739-4ea2-9f14-b1641c4bc42e · inbound

FMC: Formalization of Natural Language Mathematical Competition Problems cites this paper.

FMC: Formalization of Natural Language Mathematical Competition Problems PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 1993

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:14.287824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33c46597-ee6b-481c-8225-5301b60911b4 · inbound

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 cites this paper.

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T15:54:12.542305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 166919a2-b4f3-477e-bdff-ceb64a4f7182 · inbound

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems cites this paper.

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T05:11:55.754176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d51ecbe-5594-4daf-aed5-1686d92de048 · inbound

Aristotle: IMO-level Automated Theorem Proving cites this paper.

Aristotle: IMO-level Automated Theorem Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 50

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T08:51:37.935310Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a097a9c2-347b-4913-aeb6-edb3879cafbc · inbound

A Minimal Agent for Automated Theorem Proving cites this paper.

A Minimal Agent for Automated Theorem Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-05-15T18:46:29.328610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation eec8a430-c95c-47f0-8fff-0cb870c6851d · inbound

Artificial Intelligence and the Structure of Mathematics cites this paper.

Artificial Intelligence and the Structure of Mathematics PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 79

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T23:20:52.989360Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9c852926-98b4-4f31-b3b2-4d60473b2586 · inbound

Riemann-Bench: A Benchmark for Moonshot Mathematics cites this paper.

Riemann-Bench: A Benchmark for Moonshot Mathematics PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T05:36:00.842251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4baa34cb-2dd4-4cad-8fb7-4428362b6ed3 · inbound

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 cites this paper.

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T08:48:02.547179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e7a85efc-4d4d-4055-bb5c-9d9e9e43d1b9 · inbound

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data cites this paper.

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-10T10:29:25.470598Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 03fe4896-5a32-4962-9542-6cf617c51855 · inbound

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data cites this paper.

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-07-05T14:31:09.361784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation da9d5f12-bf25-458c-bfdf-bd4ae43e84d6 · inbound

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics cites this paper.

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 19

Resolution: metadata mismatch; arxiv_id, observed 2026-05-14T20:22:55.293106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 95e848a4-9bad-4916-b7b7-280f09d47979 · inbound

OProver: A Unified Framework for Agentic Formal Theorem Proving cites this paper.

OProver: A Unified Framework for Agentic Formal Theorem Proving PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 125

Resolution: verified exact; arxiv_id, observed 2026-05-20T14:48:23.111424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bf737a71-2252-4ffb-8c91-0e34d27d41df · inbound

Automating Formal Verification with Agent-Guided Tree Search cites this paper.

Automating Formal Verification with Agent-Guided Tree Search PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-06-29T15:03:31.352386Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 08a43b1d-d1be-4d22-a632-63c2f763d702 · inbound

Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.

Automating Formal Verification with Reinforcement Learning and Recursive Inference PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 94

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T23:52:48.521493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e4bff53a-7e7d-44b1-b86e-e49bfa0d987d · inbound

A Theoretical Framework for Self-Play Theorem Proving Algorithms cites this paper.

A Theoretical Framework for Self-Play Theorem Proving Algorithms PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 51

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T22:16:16.412562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0ded1e03-23c1-42ea-b4b3-8af851f7a2ea · inbound

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics cites this paper.

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-07-03T01:47:31.566422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 42dfb04e-7ad8-47e9-8df9-235998ff48de · inbound

TheoremGraph: Bridging Formal and Informal Mathematics cites this paper.

TheoremGraph: Bridging Formal and Informal Mathematics PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:10:07.152273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cbf47e25-73b6-4666-b3e1-3458db8d175c · inbound

Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution cites this paper.

Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T18:17:13.005816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39f97e33-737e-46a5-85d0-6b69c90ae366 · inbound

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization cites this paper.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.482077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9255b0e-b4b7-4263-bae7-4c57771f0cfe · inbound

CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference cites this paper.

CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T04:34:00.703783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c73a7ed3-e9d1-4db3-996e-c6cf06bdff0d · inbound

Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics cites this paper.

Question Begets Question: Self-Evolving Curriculum for Reinforcement Fine-Tuning on Competition Mathematics PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T00:08:26.563300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.