Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2301.02195.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:49:09.874001Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T16:11:23.781260Z
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 690d2ec2-652d-4892-9f9d-9bb79bf2bb02 · inbound
Autoformalization in the Era of Large Language Models: A Survey cites this paper.
Autoformalization in the Era of Large Language Models: A Survey Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:49:09.874001Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12aed520-4b59-42eb-8e25-7009e0defe3e · inbound
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine cites this paper.
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:26:29.200915Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b032b84-ea0a-47f0-9b18-4d89a6f03b0d · inbound
FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.
FormaRL: Enhancing Autoformalization with no Labeled Data Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
Reference 7
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-05T16:11:23.785223Z
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.