Paper Citation Record · LEDGER

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction

As of 8 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2505.24230.

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

pith.paper-citation-record.v1
2505.24230 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:35:14.479677Z

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

11 of 11 outbound references displayed

verified exact0
verified fuzzy9
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1390c294-3bd6-4e35-b1bb-0fe9711de430 · outbound

This paper cites GPT-4 Technical Report,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction GPT-4 Technical Report,

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67711ccb-f9ed-4c6a-bdd6-6ed70f381426 · outbound

This paper cites PaLM 2 Technical Report,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction PaLM 2 Technical Report,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:16.442039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 830f7c4b-0ce6-4788-b45d-a7adf5aae0fa · outbound

This paper cites The Lean Theorem Prover (System Description),.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction The Lean Theorem Prover (System Description),

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:16.202281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3eda35ac-b409-4b03-b139-2f588e5af8fc · outbound

This paper cites Isabelle/HOL — A Proof Assistant for Higher-Order Logic,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction Isabelle/HOL — A Proof Assistant for Higher-Order Logic,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:15.995093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 86068b32-136d-40ad-8761-c37dc39931de · outbound

This paper cites HOL Light: A Tutorial Introduction,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction HOL Light: A Tutorial Introduction,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:15.722940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ccab0443-b64c-44a8-be03-19a248a969b1 · outbound

This paper cites Formal theorem proving with GPT-f,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction Formal theorem proving with GPT-f,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:15.545914Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 53744d16-89a2-4ec6-9810-6f8107ffc539 · outbound

This paper cites Solving quantitative reasoning problems with language models,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction Solving quantitative reasoning problems with language models,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:15.303241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ef63d44f-c3a7-40d6-966b-6ac71b46b01b · outbound

This paper cites Competition-Level Code Generation with AlphaCode,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction Competition-Level Code Generation with AlphaCode,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:15.084650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f2e7a3cf-21dc-4400-80b2-69dbfdaac122 · outbound

This paper cites Learning to Prove Theorems with Lean-Gym,.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction Learning to Prove Theorems with Lean-Gym,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:14.859174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 20ed5119-2739-41be-bf0e-c2ebedae5cb5 · outbound

This paper cites TacticToe: Learning to Prove with Tactics.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction TacticToe: Learning to Prove with Tactics

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:35:14.684494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3950ac93-0c80-455c-96ed-5e69aa523e79 · outbound

This paper cites an unresolved cited work.

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction Unresolved cited work

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.