Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Autoformalizing Euclidean Geometry
As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2405.17216.
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-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:26:30.361678Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-13T19:53:11.764759Z
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 b27159ae-52da-4bac-9fe3-065180c51c91 · 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 Autoformalizing Euclidean Geometry
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:26:30.361678Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4a8acd1-bb00-4abc-a119-28f0c9f6ef44 · 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? Autoformalizing Euclidean Geometry
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T06:08:25.341953Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a35fecee-d9b9-4086-80a4-36c8451ff5c6 · inbound
FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.
FormaRL: Enhancing Autoformalization with no Labeled Data Autoformalizing Euclidean Geometry
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T16:11:23.190126Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a0e3b1f-1d31-404f-aff6-acca8be5b329 · inbound
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy cites this paper.
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy Autoformalizing Euclidean Geometry
Reference 45
- Resolution
- verified exact
- arxiv_id, observed 2026-05-13T19:53:11.766277Z
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 cf7bb0e8-0353-4963-96f1-e50c24d14893 · inbound
MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities cites this paper.
MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities Autoformalizing Euclidean Geometry
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T13:55:52.116571Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.