Paper Citation Record · LEDGER

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 12 inbound Pith citation observations for arXiv:2412.20735.

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

pith.paper-citation-record.v1
2412.20735 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00

measured 12 of 12 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T15:51:26.300760Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T18:17:33.783884Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 8b44eed6-a454-4fc1-a46c-69a3c2c1f9cf · inbound

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

Aristotle: IMO-level Automated Theorem Proving HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-15T08:51:37.978735Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8d97645e-c6f3-4459-b5fc-fb2896dd03b3 · inbound

AI for Mathematics: Progress, Challenges, and Prospects cites this paper.

AI for Mathematics: Progress, Challenges, and Prospects HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 96

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.657622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2998c057-58d5-4ea4-871d-ebf1c06827ff · inbound

A Minimal Agent for Automated Theorem Proving cites this paper.

A Minimal Agent for Automated Theorem Proving HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 30

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T18:46:29.031817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 73dcc18e-88bd-4f2f-b89f-45de0cb2be59 · inbound

AI co-mathematician: Accelerating mathematicians with agentic AI cites this paper.

AI co-mathematician: Accelerating mathematicians with agentic AI HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-11T20:21:09.318332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 6c9a20f8-c2cd-49a2-8503-8be9a6467298 · inbound

AI co-mathematician: Accelerating mathematicians with agentic AI cites this paper.

AI co-mathematician: Accelerating mathematicians with agentic AI HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-14T21:19:28.568217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 45f4edec-69ff-43ad-87a7-74877126d2de · inbound

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean cites this paper.

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-20T13:38:19.345386Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a0dbac7e-3d92-4495-b310-592f9e55707d · inbound

What are the Right Symmetries for Formal Theorem Proving? cites this paper.

What are the Right Symmetries for Formal Theorem Proving? HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-22T08:16:16.013308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 21f46200-1fe2-4092-b478-a3706cee4085 · inbound

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement cites this paper.

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-07-02T13:46:59.603398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 66b453af-f1e7-4389-9262-78eb4dc5818f · inbound

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

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 15

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8acc823b-759a-4faf-bdc9-e37849b5a1bd · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 134

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.785056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 8494b9ea-c8c3-4370-a560-a4a283478cbf · inbound

TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs cites this paper.

TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T05:57:23.399019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 829d57df-cf3b-4880-8f1f-3fbc96170c0d · inbound

CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification cites this paper.

CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T15:51:26.300760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.