{"as_of":"2026-08-12T17:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2a86229e8cc6fe260eddad9df004ce7cc8aca1cc5d551fc430175ddaaef5cb0f","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T09:51:59.498822Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.20503/citation-record","integrity":"/paper/2607.20503/integrity","json":"/paper/2607.20503/citation-record.json","paper":"/paper/2607.20503"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:58.592693Z","title":"doi:10.48550/arXiv.2602.17016 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:58.592693Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:5e68760fc250d75dc1c2bcc9ae3e89b510a50d60ec4b46da40ca2db84d1f24d8","observation_id":"c0333f0f-33b4-4794-8e38-462e19573d1a","resolution":{"observed_at":"2026-08-02T09:51:58.592693Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:58.743789Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:58.743789Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:ab7931066f7c516cdef738370070a1da385c46829d9d635bb545e10982c30892","observation_id":"cbdec0fc-3260-4aba-b478-62b33961ade9","resolution":{"observed_at":"2026-08-02T09:51:58.743789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:58.868293Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:58.868293Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:0417518b8f5900ef0481dbb5034d90e32326b8d9abd0655c15911b793df7d9a6","observation_id":"a2c38409-a94c-4c3e-b68f-8021f2f610bf","resolution":{"observed_at":"2026-08-02T09:51:58.868293Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.086664Z","title":"2024 , publisher =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.086664Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:7f682a3b7e5ae3ca1383099dfb10792fd964aa07d4486ce1f69bf1a3feaab252","observation_id":"b61aee6e-b06a-4501-803f-c8b64b726238","resolution":{"observed_at":"2026-08-02T09:51:59.086664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"0706.0290","last_updated":"2007-06-21T15:52:08Z","snapshot_observed_at":"2026-07-06T01:27:58.403230Z","submitted_at":"2007-06-02T23:25:52Z","title":"Parametrization of Pythagorean triples by a single triple of polynomials","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"0706.0290","snapshot_observed_at":"2026-08-02T09:51:59.336398Z","title":"Parametrization of","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.336398Z"},"links":{"cited_paper":"/paper/0706.0290","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:5a796a525a7114d40392018cede6beebfbd15b7df77ead192d178ceb9214929b","observation_id":"534df8b3-3b64-4258-b21d-a91b9eec5016","resolution":{"observed_at":"2026-08-02T09:51:59.336398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1607.03206","last_updated":"2017-04-24T16:18:25Z","snapshot_observed_at":"2026-07-06T05:03:13.994105Z","submitted_at":"2016-07-12T00:30:02Z","title":"A calculus proof of the Cram\\'er-Wold theorem","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1607.03206","snapshot_observed_at":"2026-08-02T09:51:59.394054Z","title":"A Calculus Proof of the","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.394054Z"},"links":{"cited_paper":"/paper/1607.03206","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:020bc4246ee33ed05ab27e9f1183377ec46b43fd452f89a7b95f5cc51ba351a0","observation_id":"a157fb9a-f046-4ad4-824a-2d9ef21bcc18","resolution":{"observed_at":"2026-08-02T09:51:59.394054Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.398941Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.398941Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:6efca591d373e383d486862421e377ba8b5508a5ee495e125d8cb5e9e0c0c631","observation_id":"0600a303-7f6a-4cac-82b3-393dae4e7205","resolution":{"observed_at":"2026-08-02T09:51:59.398941Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.403287Z","title":"Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs , pages =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.403287Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:2a8cdb31417dd346dd6c5fbfa6e263bbbf84d4122c1534be0f1367af37e56488","observation_id":"e9694856-3bf5-4436-81be-585abe911d00","resolution":{"observed_at":"2026-08-02T09:51:59.403287Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.407570Z","title":"2022 , url =","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.407570Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:d1234e71969753d324e4a3d3deb16d461dc3f5b4d1d649e8720649f15bf7c9db","observation_id":"df020018-2317-42b9-8d52-8fcbfa105033","resolution":{"observed_at":"2026-08-02T09:51:59.407570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-08-11T01:27:23.813824Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-02T09:51:59.411871Z","title":"and Gu, Alex and Chalamala, Rahul and Song, Peiyang and Yu, Shixing and Godil, Saad and Prenger, Ryan and Anandkumar, Anima , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.411871Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:ce2005967ef80cd0b5ca6b190c94eed84ccdd413086d419acdca2375b18e5a4c","observation_id":"2fd7d892-83ba-4b90-9d27-6deaa0cd9886","resolution":{"observed_at":"2026-08-02T09:51:59.411871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.11085","last_updated":"2025-06-04T16:09:54Z","snapshot_observed_at":"2026-08-08T14:51:01.673592Z","submitted_at":"2025-06-04T16:09:54Z","title":"LeanExplore: A search engine for Lean 4 declarations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.11085","snapshot_observed_at":"2026-08-02T09:51:59.417402Z","title":"doi:10.48550/arXiv.2506.11085 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.417402Z"},"links":{"cited_paper":"/paper/2506.11085","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:e6d51136cddcb4404da7983d43d03b123b6d771faa7878cee62d1f885e1ae15f","observation_id":"3c1e840f-c1d9-4ad8-a432-f3dc42ab72ef","resolution":{"observed_at":"2026-08-02T09:51:59.417402Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-10T17:57:52.655028Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-02T09:51:59.422600Z","title":"2022 , eprint =","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.422600Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:c69fdcac29d24c7fd2851593e90eba4539c88a039e44ac0583675c2ef0a8eaea","observation_id":"453c6d78-8c64-4301-b6cd-f1bf90d257de","resolution":{"observed_at":"2026-08-02T09:51:59.422600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-08T08:53:38.852270Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-02T09:51:59.427687Z","title":"and Ayers, Edward W","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.427687Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:9ef4e1e5f3c6834d9ccbec83e1af4ee60c767997522751bf12b08a2d60839073","observation_id":"e1a0dced-0e66-4b07-bcac-37e12dfa6ec7","resolution":{"observed_at":"2026-08-02T09:51:59.427687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.01940","last_updated":"2024-10-14T03:46:00Z","snapshot_observed_at":"2026-08-10T09:53:55.063203Z","submitted_at":"2024-06-04T03:48:08Z","title":"Process-Driven Autoformalization in Lean 4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.01940","snapshot_observed_at":"2026-08-02T09:51:59.432329Z","title":"Process-Driven Autoformalization in","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.432329Z"},"links":{"cited_paper":"/paper/2406.01940","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:fd0e4d9936bddd844de0e4ff19b0adcbe22e4b2576b0deef850162a966e43747","observation_id":"f39d8ff3-83f5-4424-931e-87c81bf7a04d","resolution":{"observed_at":"2026-08-02T09:51:59.432329Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.emnlp-main.907","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing , pages =","venue":null,"work_id":"6278467d-08f5-4ece-b2e7-6ab028118083","year":2025},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.436368Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:4925ac4fc508e2449dc4ad5d588d2f065efade1a44fbe1f253a03ab4266d5c97","observation_id":"04cceab0-a7cd-458c-aff4-b3de666890a8","resolution":{"observed_at":"2026-08-02T09:53:22.590217Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.441021Z","title":"doi:10.48550/arXiv.2510.25427 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.441021Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:50af58558dad3e2cb74c67ade79db6f31e34f590dad8fb5be7753bb534ad8b0f","observation_id":"d624a6ca-01cb-45ea-84aa-1263157defc2","resolution":{"observed_at":"2026-08-02T09:51:59.441021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.445141Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.445141Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:df55f3b18fc786574a2bf07402132486710077722963a2ce939cd51593b93e9a","observation_id":"97192d8b-4a86-4615-bcd5-fb3aba7f231b","resolution":{"observed_at":"2026-08-02T09:51:59.445141Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.449067Z","title":"2025 , howpublished =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.449067Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:a9583d69510a256e382cf4f528a3a784a8f6440fa6a4a1466097206a8a8fa285","observation_id":"9561ee9c-2d53-4537-b0a7-7b48f7f09748","resolution":{"observed_at":"2026-08-02T09:51:59.449067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.453111Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.453111Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:81f9737ee72fdfe3bb61e36d5acf473dcbd6b53990daab760347b09c16098b01","observation_id":"61b68fa3-1f86-4e0c-a74a-11c40c442258","resolution":{"observed_at":"2026-08-02T09:51:59.453111Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T00:06:13.580813Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-02T09:51:59.457358Z","title":"doi:10.48550/arXiv.2408.03350 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.457358Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:f7413647c59606312bb45b950e3d9626e5aaba883dbb3214eeb8ab379467da55","observation_id":"5a4ffe9b-de90-4c88-91f1-75400c9a10ac","resolution":{"observed_at":"2026-08-02T09:51:59.457358Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.01291","doi":"10.48550/arxiv.2602.01291","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Construction-Verification: A Benchmark for Applied Mathematics in","venue":"Open MIND","work_id":"ba7281a0-ac47-4950-8608-68ca9f84b6fd","year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.462085Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:9f9208c3a7c890e949d0251b1fa1bd7368d7b180795750625650a96dbe1b3855","observation_id":"a3d73ee9-d96b-41dc-92c8-a08b96d21ea4","resolution":{"observed_at":"2026-08-02T09:53:22.416668Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.466251Z","title":"doi:10.48550/arXiv.2603.02668 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.466251Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:4c33130bcddfca5d391e06b12980e2e9960616bfca1d8dda8fa90ae93de03dbd","observation_id":"002d5942-9e6f-4e33-a316-a6d944ef4e75","resolution":{"observed_at":"2026-08-02T09:51:59.466251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.470328Z","title":"doi:10.48550/arXiv.2602.18307 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.470328Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:67aff22f81f4eccda40299321dd3719fcc62f69e494eb152249089e3f68a8a91","observation_id":"7360c5a1-4199-4548-8d10-e5ed0ae25838","resolution":{"observed_at":"2026-08-02T09:51:59.470328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.474140Z","title":"doi:10.48550/arXiv.2510.02335 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.474140Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:8d21c3113fb182bb9322647871039ce3e5caa6b5cf7e932cd5d5736cfe8f3843","observation_id":"adf2a69b-c56b-4f0d-bd73-2511e6c10f1c","resolution":{"observed_at":"2026-08-02T09:51:59.474140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02735","last_updated":"2025-05-05T15:37:00Z","snapshot_observed_at":"2026-08-07T23:36:07.412083Z","submitted_at":"2025-05-05T15:37:00Z","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.02735","snapshot_observed_at":"2026-08-02T09:51:59.477934Z","title":"2505.02735 , archivePrefix =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.477934Z"},"links":{"cited_paper":"/paper/2505.02735","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:ef8e83fecf73b02c29aa444557d75ae4d18f31148b2d2bb5df58a1c55b849d80","observation_id":"60431213-6434-4411-92c2-a21e75d794b2","resolution":{"observed_at":"2026-08-02T09:51:59.477934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-10T09:55:22.001376Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-02T09:51:59.482077Z","title":"doi:10.48550/arXiv.2407.11214 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.482077Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:fb0ae37943f17a7e9f39734eb964c97b9f68bb064a72161d1268adb70044e02c","observation_id":"39f97e33-737e-46a5-85d0-6b69c90ae366","resolution":{"observed_at":"2026-08-02T09:51:59.482077Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-02T09:51:59.486757Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.486757Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:066a353cf96b6224cc102ac5b379b2049969738d97ce29530278fc0b3dc8c847","observation_id":"d532fd7c-4cf7-44f2-88f7-496da0431e6d","resolution":{"observed_at":"2026-08-02T09:51:59.486757Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.490888Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.490888Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:898b20ce62beafb39fab049e813f87a4e554781150ad6f1ea15b8a1fdf9c8e98","observation_id":"a7885002-0e73-47a5-b641-bf2f4a5b2bab","resolution":{"observed_at":"2026-08-02T09:51:59.490888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.494851Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.494851Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:897ca899772c937de2d0defb302968e17d492034335a16992ec2b7ea0e2785d1","observation_id":"ada61276-7d55-4982-aeff-4ec317e0b5c4","resolution":{"observed_at":"2026-08-02T09:51:59.494851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T09:51:59.498822Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.498822Z"},"links":{"citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:6171ff70dc250e9653d5c101fc348758d7e05a9f375ed0e2683590936fc4d8f4","observation_id":"61215493-e619-4c88-b6e5-cb5f34f7eea1","resolution":{"observed_at":"2026-08-02T09:51:59.498822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":27,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2607.20503."}