Paper Citation Record · LEDGER

HyperTree Proof Search for Neural Theorem Proving

As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2205.11491.

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

pith.paper-citation-record.v1
2205.11491 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 17 of 17 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T17:44:15.063070Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, 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

24
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 481aee27-24ff-4762-9c53-4559105cbd0d · inbound

Llemma: An Open Language Model For Mathematics cites this paper.

Llemma: An Open Language Model For Mathematics HyperTree Proof Search for Neural Theorem Proving

Reference 156

Resolution: verified exact; arxiv_id, observed 2026-05-19T08:17:46.508812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 696a899f-ad82-4e0d-9537-b8ff13e41766 · inbound

The Karp Dataset cites this paper.

The Karp Dataset HyperTree Proof Search for Neural Theorem Proving

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T14:55:35.450210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88246db0-327e-43a1-aa80-9be78228b285 · inbound

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning cites this paper.

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning HyperTree Proof Search for Neural Theorem Proving

Reference 84

Resolution: verified exact; arxiv_id, observed 2026-05-23T04:32:33.302414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a73222ea-eac1-4a9f-a82d-98be037c229c · inbound

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening cites this paper.

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening HyperTree Proof Search for Neural Theorem Proving

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T11:31:02.455497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb33e8ba-773c-47db-8418-9bd70e94406c · inbound

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving cites this paper.

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving HyperTree Proof Search for Neural Theorem Proving

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T20:27:36.343420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 249d68c1-cacc-4ae2-821c-17689349c4ee · inbound

CGES: Confidence-Guided Early Stopping for Efficient and Accurate Self-Consistency cites this paper.

CGES: Confidence-Guided Early Stopping for Efficient and Accurate Self-Consistency HyperTree Proof Search for Neural Theorem Proving

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T00:12:31.824874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d1e714f-a617-4f06-a6b8-613ec7d69ddb · inbound

A Minimal Agent for Automated Theorem Proving cites this paper.

A Minimal Agent for Automated Theorem Proving HyperTree Proof Search for Neural Theorem Proving

Reference 33

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 84019802-974e-4a28-bcf3-2370bcec0e04 · inbound

Learning to Unscramble: Simplifying Symbolic Expressions via Self-Supervised Oracle Trajectories cites this paper.

Learning to Unscramble: Simplifying Symbolic Expressions via Self-Supervised Oracle Trajectories HyperTree Proof Search for Neural Theorem Proving

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-05-15T12:35:35.475775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 40005ec3-48f8-4cae-85bf-46a5d8b5f494 · inbound

State Representation and Termination for Recursive Reasoning Systems cites this paper.

State Representation and Termination for Recursive Reasoning Systems HyperTree Proof Search for Neural Theorem Proving

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-11T04:45:56.682035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation cf8b04fc-92d4-408e-beea-81db67d80a1b · inbound

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

Automating Formal Verification with Agent-Guided Tree Search HyperTree Proof Search for Neural Theorem Proving

Reference 22

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 15d274d3-e76f-49c5-963a-8cf8de18421d · inbound

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

Automating Formal Verification with Reinforcement Learning and Recursive Inference HyperTree Proof Search for Neural Theorem Proving

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-06-28T23:52:49.225979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8dd57796-1a04-42eb-b66f-7885b12a2b09 · inbound

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization cites this paper.

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization HyperTree Proof Search for Neural Theorem Proving

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T08:36:48.764451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8093a9e1-0567-4f5e-8f07-e61eb565a877 · inbound

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

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics HyperTree Proof Search for Neural Theorem Proving

Reference 14

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ad14c7bf-624a-4a6d-8e20-2b388d635640 · inbound

DecompRL: Solving Harder Problems by Learning Modular Code Generation cites this paper.

DecompRL: Solving Harder Problems by Learning Modular Code Generation HyperTree Proof Search for Neural Theorem Proving

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-07-03T16:38:39.512617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3c85bf8b-f867-44b4-9403-75efee204b38 · inbound

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification cites this paper.

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification HyperTree Proof Search for Neural Theorem Proving

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-14T02:43:21.225324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d75af8d-bf1a-41a3-ba05-bc86c68d9584 · 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 HyperTree Proof Search for Neural Theorem Proving

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T04:33:59.268066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5b28dba-fb60-4179-88ee-d66e806b427d · inbound

VALG: An Agentic System for ML Theory Research cites this paper.

VALG: An Agentic System for ML Theory Research HyperTree Proof Search for Neural Theorem Proving

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-15T17:44:15.063070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.