Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T11:50:26.030339Z
Paper Citation Record · LEDGER
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
As of 21 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 1 inbound Pith citation observation for arXiv:2606.12594.
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-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T21:40:02.390463Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
13 of 13 outbound references displayed
- verified exact2
- verified fuzzy0
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch6
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 8bf8ca76-b906-471a-b8db-8ee774990a39 · outbound
This paper cites URLhttps://aclanthology.org/2025.emnlp-main.1024/.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation URLhttps://aclanthology.org/2025.emnlp-main.1024/
Reference 1
- Resolution
- verified exact
- doi, observed 2026-06-27T10:00:49.115283Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 724b137f-22f5-4910-8318-f6b694b7e346 · outbound
This paper cites The calculus of constructions.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation The calculus of constructions
Reference 2
- Resolution
- metadata mismatch
- doi, observed 2026-06-27T10:00:49.117650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e95321a4-fb55-4e13-9910-89785d99d831 · outbound
This paper cites Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition
Reference 3
- Resolution
- metadata mismatch
- doi, observed 2026-06-27T10:00:49.126615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9ac40289-d69e-4022-86cf-030c62a5259b · outbound
This paper cites Qwen3 Technical Report.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Qwen3 Technical Report
Reference 4
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-27T10:00:49.120763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 236ac461-e6b8-4627-991f-930081be0524 · outbound
This paper cites Jia Li, Edward Beeching, Lewis Tunstall, Ben Lipkin, Roman Soletskyi, Shengyi Huang, Kashif Rasul, Longhui Yu, Albert Q Jiang, Ziju Shen, et al.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Jia Li, Edward Beeching, Lewis Tunstall, Ben Lipkin, Roman Soletskyi, Shengyi Huang, Kashif Rasul, Longhui Yu, Albert Q Jiang, Ziju Shen, et al
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-06-27T09:55:35.227340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8540c0f6-1351-4a8c-92ba-fce8160cbd76 · outbound
This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Reference 6
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-03T10:37:56.850589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7403ea99-5227-479d-91fa-e5cd58f56f06 · outbound
This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Reference 7
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-27T10:00:49.111943Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a44ea740-f859-4caa-92d4-7ddfd5eb3568 · outbound
This paper cites OpenAI GPT-5 System Card.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation OpenAI GPT-5 System Card
Reference 8
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-06-27T10:00:49.108555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 59677243-341e-4087-a081-5925913202ab · outbound
This paper cites Prove that.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Prove that
Reference 9
- Resolution
- verified exact
- doi, observed 2026-06-27T10:00:49.105759Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5d8b4406-c421-40fa-85fa-e433cdaf1493 · outbound
This paper cites (e.g., If the error involves Point F, you MUST state the exact coordinates of Point F in the question).
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation (e.g., If the error involves Point F, you MUST state the exact coordinates of Point F in the question)
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-06-27T09:55:35.227340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e58500de-2ac9-452e-97ef-415dde842032 · outbound
This paper cites Frame it purely as a standard math competition or textbook problem.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Frame it purely as a standard math competition or textbook problem
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-06-27T09:55:35.227340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5dd31c3-f0ca-4522-b95d-272d598964c9 · outbound
This paper cites WHY" QUESTIONS:** Do not ask.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation WHY" QUESTIONS:** Do not ask
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-06-27T09:55:35.227340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3df843c-0cb5-41e4-86c9-d35dc4ae33b8 · outbound
This paper cites Why does the`intro`tactic fail when applied to Point F?.
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Why does the`intro`tactic fail when applied to Point F?
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-06-27T09:55:35.227340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation d242234d-48c3-436c-b207-318b6fa88a8f · inbound
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language cites this paper.
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T21:40:02.390463Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.