{"as_of":"2026-08-06T22:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5c9ec84fdfd3a17c58b63dce7c0e9539e5d91089e6a5eb02e1c2238d7b5ecf8d","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T21:40:02.390463Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.12594","snapshot_observed_at":"2026-08-01T21:40:02.390463Z","title":"Pythagoras-prover: Advancing efficient formal proving via augmented lean formalisation,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16372","last_updated":"2026-07-17T14:43:43Z","snapshot_observed_at":"2026-08-02T01:55:22.278621Z","submitted_at":"2026-07-17T14:43:43Z","title":"AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T21:40:02.390463Z"},"links":{"cited_paper":"/paper/2606.12594","citing_paper":"/paper/2607.16372"},"observation_digest":"sha256:b5047a7bbc2b356ec18b1b44c3c37096f4be159fba8811cb9556cae86eadf3b1","observation_id":"d242234d-48c3-436c-b207-318b6fa88a8f","resolution":{"observed_at":"2026-08-01T21:40:02.390463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.12594/citation-record","integrity":"/paper/2606.12594/integrity","json":"/paper/2606.12594/citation-record.json","paper":"/paper/2606.12594"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.emnlp-main.1024","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URLhttps://aclanthology.org/2025.emnlp-main.1024/","venue":null,"work_id":"914191cb-45e6-4d4e-976c-13f09ade7449","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:9c1baebddb827c6e5fb9090a6a0acf98f9d2e288f7c38b9a3ab63da0f0506934","observation_id":"8bf8ca76-b906-471a-b8db-8ee774990a39","resolution":{"observed_at":"2026-06-27T10:00:49.115283Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0890-5401(88)90005-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The calculus of constructions","venue":"Information and Computation","work_id":"72a5212d-51e3-4835-bd02-62c98b3f4c6c","year":1988},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:863f1f432db6fe12c251406b3bc985334ec16e89108b5f48b35b53a28bf265d4","observation_id":"724b137f-22f5-4910-8318-f6b694b7e346","resolution":{"observed_at":"2026-06-27T10:00:49.117650Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.52202/079017-0368","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":"3a3572b9-7474-472a-adba-45937ca934c3","year":2024},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:6102b344c220291cbb13ad477c66b1a0588efeb171b920efb4012e511cf153c3","observation_id":"e95321a4-fb55-4e13-9910-89785d99d831","resolution":{"observed_at":"2026-06-27T10:00:49.126615Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":"2505.09388","doi":"10.1016/j.aiopen.2022.12","metadata_source":"pith","pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen3 Technical Report","venue":"cs.CL","work_id":"25a4e30c-1232-48e7-9925-02fa12ba7c9e","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:47160a7e9fee2a81eb443111d1e377596abcf1d1041670fd7117e707b46f60cb","observation_id":"9ac40289-d69e-4022-86cf-030c62a5259b","resolution":{"observed_at":"2026-06-27T10:00:49.120763Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-27T09:55:35.227340Z","title":"Jia Li, Edward Beeching, Lewis Tunstall, Ben Lipkin, Roman Soletskyi, Shengyi Huang, Kashif Rasul, Longhui Yu, Albert Q Jiang, Ziju Shen, et al","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:092663957bd9e49dfb851c4016365a7211eed87296fe0d4775512f766e0bd63a","observation_id":"236ac461-e6b8-4627-991f-930081be0524","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-03T03:38:06.953412Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2504.11354","doi":"10.18653/v1/2025.acl-long.1565","metadata_source":"pith","pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","venue":"cs.AI","work_id":"0ff53eb8-7b88-4c00-8ba0-5f90f9a97f90","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:5963e5b073f6b54daec30922cbf41885de8f9ae9b10e7e123a410897136de80d","observation_id":"8540c0f6-1351-4a8c-92ba-fce8160cbd76","resolution":{"observed_at":"2026-07-03T10:37:56.850589Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-08-06T14:58:42.911363Z","submitted_at":"2024-02-05T18:55:32Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","version":3},"cited_work":{"arxiv_id":"2402.03300","doi":"10.1016/0004-3702(73)90011-8","metadata_source":"pith","pith_arxiv_id":"2402.03300","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","venue":"cs.CL","work_id":"c5006563-f3ec-438a-9e35-b7b484f34828","year":2024},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:c563233e2adeee11393f7d662601cf02a2a517726d20a886b722e9885d06728e","observation_id":"7403ea99-5227-479d-91fa-e5cd58f56f06","resolution":{"observed_at":"2026-06-27T10:00:49.111943Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2601.03267","last_updated":"2026-05-01T23:55:43Z","snapshot_observed_at":"2026-08-02T10:52:10.211700Z","submitted_at":"2025-12-19T07:05:38Z","title":"OpenAI GPT-5 System Card","version":2},"cited_work":{"arxiv_id":"2601.03267","doi":"10.48550/arxiv.2601.03267","metadata_source":"pith","pith_arxiv_id":"2601.03267","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"OpenAI GPT-5 System Card","venue":"cs.CL","work_id":"ca87689a-0d29-4476-b504-b65dbbb08af4","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2601.03267","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:9bf13a33aa4086d80ff37cad249551cf0b3168ac222ed0f17c315d7c3f11d20a","observation_id":"a44ea740-f859-4caa-92d4-7ddfd5eb3568","resolution":{"observed_at":"2026-06-27T10:00:49.108555Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-03T00:38:11.458508+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T00:38:11.458508+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.emnlp-demos.44","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Prove that","venue":null,"work_id":"4386e3ba-11c0-424b-981d-35875e881094","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:0096ccca5b1606fff42058c744d11f44c8910c269e7f4c63105ed87a69356c0e","observation_id":"59677243-341e-4087-a081-5925913202ab","resolution":{"observed_at":"2026-06-27T10:00:49.105759Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-06-27T09:55:35.227340Z","title":"(e.g., If the error involves Point F, you MUST state the exact coordinates of Point F in the question)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:bc0c521dd555df08aaf41bf153aed203c826ffe84426db4a74fceb22a919c3aa","observation_id":"5d8b4406-c421-40fa-85fa-e433cdaf1493","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","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-06-27T09:55:35.227340Z","title":"Frame it purely as a standard math competition or textbook problem","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:370e79bfdad81622befd842596699e3fad08f231a6bb55c2654d40c366e69fd7","observation_id":"e58500de-2ac9-452e-97ef-415dde842032","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","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-06-27T09:55:35.227340Z","title":"WHY\" QUESTIONS:** Do not ask","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:1a7f5a4aa6d01062c252854a83394e976d65adf192ace988286cf2106e636608","observation_id":"c5dd31c3-f0ca-4522-b95d-272d598964c9","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","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-06-27T09:55:35.227340Z","title":"Why does the`intro`tactic fail when applied to Point F?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:e213a06d5133c45b8fe444f66b36fafdddc3d95d86a921006905607a0880d624","observation_id":"b3df843c-0cb5-41e4-86c9-d35dc4ae33b8","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T23:51:31.502574Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":5,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":13},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 1 inbound Pith citation observation for arXiv:2606.12594."}