Paper Citation Record · LEDGER

Learning to Prove Theorems via Interacting with Proof Assistants

As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:1905.09381.

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

pith.paper-citation-record.v1
1905.09381 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

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

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-28T23:52:36.891080Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T06:15:00.866473Z

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 bf6dd311-d4d1-4aa1-b201-f9c29688a97f · inbound

Generative Language Modeling for Automated Theorem Proving cites this paper.

Generative Language Modeling for Automated Theorem Proving Learning to Prove Theorems via Interacting with Proof Assistants

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-05-23T05:18:10.719080Z

Source-reported events for the cited work

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

Observation ad2c78a2-3cc1-4dda-9554-246b4e7b1f52 · inbound

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

Automating Formal Verification with Reinforcement Learning and Recursive Inference Learning to Prove Theorems via Interacting with Proof Assistants

Reference 45

Resolution: verified exact; local_arxiv, observed 2026-06-28T23:52:48.469695Z

Source-reported events for the cited work

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

Observation 3e6c24fc-ccef-457b-bfd6-dbdeb5f3a4fb · inbound

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies cites this paper.

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies Learning to Prove Theorems via Interacting with Proof Assistants

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-07-02T09:16:49.581291Z

Source-reported events for the cited work

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

Observation abb222fa-87ac-4a4a-8ec6-23dea7de3c9b · inbound

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

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics Learning to Prove Theorems via Interacting with Proof Assistants

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-07-03T01:47:31.554429Z

Source-reported events for the cited work

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