Paper Citation Record · LEDGER

Autoformalization with Large Language Models

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 15 inbound Pith citation observations for arXiv:2205.12615.

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

pith.paper-citation-record.v1
2205.12615 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 15 of 15 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-10T00:06:30.388701Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T01:47:31.590305Z

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 f3aabd3d-0875-4ca9-b1bf-c867ef41ff0e · inbound

PAL: Program-aided Language Models cites this paper.

PAL: Program-aided Language Models Autoformalization with Large Language Models

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:02:50.178048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6b72d8a4-7828-4537-a312-47469a05a392 · inbound

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis cites this paper.

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis Autoformalization with Large Language Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T00:06:30.388701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4124be23-6479-4402-8f03-a57667e26312 · inbound

FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.

FormaRL: Enhancing Autoformalization with no Labeled Data Autoformalization with Large Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-05T16:11:23.244019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f70e50fb-bb74-4dcc-a44b-c2b56ed1bb00 · inbound

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning cites this paper.

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning Autoformalization with Large Language Models

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-05T10:28:50.463449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bc2c7c5-4f06-46af-a547-56094bb5cec4 · inbound

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph cites this paper.

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Autoformalization with Large Language Models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T11:31:39.800237Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b12736dc-9fa8-4b40-b024-e6ae2d3a39f0 · inbound

Explicit Formulas and Unimodality Phenomena for General Position Polynomials cites this paper.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Autoformalization with Large Language Models

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c66521c6-1a2a-44a8-b3ec-2e359c6ad40c · 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 Autoformalization with Large Language Models

Reference 54

Resolution: metadata mismatch; arxiv_id, observed 2026-05-13T19:53:11.733549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e7319cdb-1f25-464d-8c2c-4bdad9086e32 · inbound

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization cites this paper.

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization Autoformalization with Large Language Models

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-15T10:25:26.593110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 321c1974-fc63-4385-a8e2-8cf495d64709 · inbound

A Learning Method for Symbolic Systems Using Large Language Models cites this paper.

A Learning Method for Symbolic Systems Using Large Language Models Autoformalization with Large Language Models

Reference 47

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T07:51:48.244525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d5c77c9f-390e-4fca-9a10-de2d81dd22aa · inbound

MathAtlas: A Benchmark for Autoformalization in the Wild cites this paper.

MathAtlas: A Benchmark for Autoformalization in the Wild Autoformalization with Large Language Models

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:09:44.502291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e317105a-d982-4e70-8239-a1eef98e91d7 · inbound

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

Automating Formal Verification with Reinforcement Learning and Recursive Inference Autoformalization with Large Language Models

Reference 81

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8405e8ee-2a9c-4c44-8126-1c96a098d78d · 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 Autoformalization with Large Language Models

Reference 31

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.802943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d7d69e80-b107-4756-992a-8c6f5ee4d29a · inbound

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

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics Autoformalization with Large Language Models

Reference 34

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8de37ba0-be9a-428f-bad9-508c0b29a68e · inbound

A Machine-Verified Proof of a Quantum-Optimization Conjecture cites this paper.

A Machine-Verified Proof of a Quantum-Optimization Conjecture Autoformalization with Large Language Models

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-06-30T06:44:19.014644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 453c6d78-8c64-4301-b6cd-f1bf90d257de · inbound

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization cites this paper.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Autoformalization with Large Language Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.422600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.