{"as_of":"2026-08-06T02:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7ee48cd76dcd18612404e352f704107b46cfd459cc636a111af07d5a721a3a2d","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T00:59:54.485343Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T18:17:11.021412Z","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.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.06468","snapshot_observed_at":"2026-08-01T18:17:11.021412Z","title":"Fowl, and Sanjeev Arora","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.17352","last_updated":"2026-07-19T17:26:59Z","snapshot_observed_at":"2026-08-01T18:17:08.815342Z","submitted_at":"2026-07-19T17:26:59Z","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T18:17:11.021412Z"},"links":{"cited_paper":"/paper/2606.06468","citing_paper":"/paper/2607.17352"},"observation_digest":"sha256:d13e08292c99eff17238978688ca05299ef8b9557728b6e8acec91df53de0e74","observation_id":"2ac26462-a68a-4bd6-8b47-e0d26a0d342e","resolution":{"observed_at":"2026-08-01T18:17:11.021412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.06468","snapshot_observed_at":"2026-07-31T17:33:57.703592Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28110","last_updated":"2026-07-30T12:17:31Z","snapshot_observed_at":"2026-08-05T14:47:12.465233Z","submitted_at":"2026-07-30T12:17:31Z","title":"BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-31T17:33:57.703592Z"},"links":{"cited_paper":"/paper/2606.06468","citing_paper":"/paper/2607.28110"},"observation_digest":"sha256:d7273904e03b3e72076a79284b7aea7056075e0cf88db1eeea32a3ce1ff05570","observation_id":"43b15cff-3391-4e72-a95e-a68ae6c8bfec","resolution":{"observed_at":"2026-07-31T17:33:57.703592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.06468/citation-record","integrity":"/paper/2606.06468/integrity","json":"/paper/2606.06468/citation-record.json","paper":"/paper/2606.06468"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.00301","last_updated":"2026-05-01T00:09:46Z","snapshot_observed_at":"2026-07-06T23:13:42.661364Z","submitted_at":"2026-05-01T00:09:46Z","title":"Primitive sets and von Mangoldt chains: Erd\\H{o}s Problem #1196 and beyond","version":1},"cited_work":{"arxiv_id":"2605.00301","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.00301","snapshot_observed_at":"2026-07-02T13:46:59.607968Z","title":"Primitive sets and von Mangoldt chains: Erd\\H{o}s Problem #1196 and beyond","venue":"math.NT","work_id":"8b7ee676-5ff9-48bb-878c-0f647c545c7c","year":2026},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2605.00301","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:973719c70c61c90d1bd4424a5a6ce985d6e0c0d62003f1ebf610510eacb24da6","observation_id":"66c7155d-47db-4f99-bbd9-62ed1afb8a29","resolution":{"observed_at":"2026-07-02T13:46:59.609557Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.17260","doi":"10.48550/arxiv.2512.17260","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Seed-prover 1.5: Mastering undergraduate-level theorem proving via learning from experience","venue":"arXiv (Cornell University)","work_id":"06a2ed7e-52e1-4927-ba09-545d2843a7f4","year":2025},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:7202fd809ab2f17773bbde5a2549a4bedd88fbdf2757cb24454fa30360db6c9e","observation_id":"34ebcef7-e671-4791-b23f-b8676c0af18a","resolution":{"observed_at":"2026-07-02T13:46:59.612727Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.12283","last_updated":"2023-02-20T16:10:20Z","snapshot_observed_at":"2026-07-06T14:08:57.404437Z","submitted_at":"2022-10-21T22:37:22Z","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","version":3},"cited_work":{"arxiv_id":"2210.12283","doi":"10.48550/arxiv.2210.12283","metadata_source":"arxiv_reference","pith_arxiv_id":"2210.12283","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, and Xujie Si","venue":"arXiv (Cornell University)","work_id":"0ea71c7c-abbf-4737-9dc1-dbed9a5c5b20","year":2023},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2210.12283","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:f100077b1b611c68096c681b71596eb1fc245cf33fe588dad8eba47677f4cdfe","observation_id":"62e9c733-f218-45ef-95c1-0d50b25d2105","resolution":{"observed_at":"2026-07-02T13:46:59.619039Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-25T18:54:23.866349+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T18:54:23.866349+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.20735","last_updated":"2025-03-21T02:00:37Z","snapshot_observed_at":"2026-07-06T20:14:31.883493Z","submitted_at":"2024-12-30T06:18:33Z","title":"HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2412.20735","doi":"10.48550/arxiv.2412.20735","metadata_source":"pith","pith_arxiv_id":"2412.20735","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Hun- yuanprover: A scalable data synthesis framework and guided tree search for automated theorem proving","venue":"cs.AI","work_id":"8e9a74af-6f21-4dcb-a8b5-41c07830d002","year":2024},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2412.20735","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:47e58fa3dea5087535582833ae261d80d5f6dbc21e21b28fbd48346bc25f3f59","observation_id":"21f46200-1fe2-4092-b478-a3706cee4085","resolution":{"observed_at":"2026-07-02T13:46:59.603398Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.10040","last_updated":"2025-03-15T12:25:58Z","snapshot_observed_at":"2026-08-04T02:26:39.864179Z","submitted_at":"2024-07-14T01:43:07Z","title":"Lean-STaR: Learning to Interleave Thinking and Proving","version":5},"cited_work":{"arxiv_id":"2407.10040","doi":"10.48550/arxiv.2407.10040","metadata_source":"pith","pith_arxiv_id":"2407.10040","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2407.10040 , year=","venue":"cs.AI","work_id":"b2bd187f-106b-4220-9e2c-fb9d12328eee","year":2024},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2407.10040","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:2b4061db8c5ff748318618dcc2cab2948a439f9e845f6efb289dcb7c1e8490fc","observation_id":"ff62d68e-03f8-4752-a465-849d6d8b3808","resolution":{"observed_at":"2026-07-02T13:46:59.606638Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-23T11:24:20.957175+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:20.957175+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-07-06T20:34:48.850154Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2502.07640","doi":"10.48550/arxiv.2502.07640","metadata_source":"pith","pith_arxiv_id":"2502.07640","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Goedel-prover: A frontier model for open-source automated theorem proving","venue":"cs.LG","work_id":"d493c962-6f13-4605-9836-61b0d15ca1d6","year":2025},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2502.07640","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:9223f94dc143afc3c112a945e0186ddddc063d1d76e9bd2016f68d45f85533c0","observation_id":"08572a0f-e57f-4f87-a271-09d78cbf525b","resolution":{"observed_at":"2026-07-02T13:46:59.591601Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"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":"2504.21801","doi":"10.48550/arxiv.2504.21801","metadata_source":"pith","pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","venue":"cs.CL","work_id":"3579ad7c-ab73-41db-801b-bf86628c5c02","year":2025},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:8bbdacbc3af8068cfb596b7e0a1e7bf691afe333efa7559e418c8b900c78ab5c","observation_id":"491144a0-c85c-4a0b-951e-0f68e17bcbea","resolution":{"observed_at":"2026-07-02T13:46:59.594395Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:13.361719+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-02T04:41:42.758635Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":"2602.24273","doi":null,"metadata_source":"pith","pith_arxiv_id":"2602.24273","snapshot_observed_at":"2026-07-04T20:10:07.122202Z","title":"A Minimal Agent for Automated Theorem Proving","venue":"cs.AI","work_id":"0bd6f45e-8452-4220-a8ed-212ccca7e59e","year":2026},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2602.24273","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:a18bf7a4598673da8cd98c8a6f2a341b5cdb4b508ca0785a38d2d10d724feb72","observation_id":"6f2023cd-36d4-4076-ad93-0ca33d78bd86","resolution":{"observed_at":"2026-07-02T13:46:59.615396Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2509.22819","doi":"10.48550/arxiv.2509.22819","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Hilbert: Recursively building formal proofs with informal reasoning","venue":"ArXiv.org","work_id":"c6dcfbe8-c39f-4e3d-86de-0a29d75f8943","year":2025},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:a5138f3e779336e160be8a393c32d0974300f30b164a652d9566d9c0cabc2782","observation_id":"3161df3f-8bae-4d6c-b521-f4bd4deed193","resolution":{"observed_at":"2026-07-02T13:46:59.585463Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"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.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:aca199213810827a68c2bd2e9f1941ac656ab4f5274e52bccd794849369d16ad","observation_id":"d827a116-d217-4c86-b7c9-f932406bc869","resolution":{"observed_at":"2026-07-02T13:46:59.588211Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+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-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.21065","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T13:46:59.595617Z","title":"arXiv preprint arXiv:2603.21065 , year=","venue":null,"work_id":"cf8163a7-6d8b-4656-a3ea-30c1abbc76ae","year":2026},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:229c94a182ca1ce8681e3c13e820d77b7a471943cb17daef6ae3dc0e3fcf84e0","observation_id":"29ef1472-8237-4629-ae41-dde57b8a9c99","resolution":{"observed_at":"2026-07-02T13:46:59.597267Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.03203","last_updated":"2024-10-04T03:06:26Z","snapshot_observed_at":"2026-07-06T18:41:01.720889Z","submitted_at":"2024-07-03T15:36:18Z","title":"TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts","version":2},"cited_work":{"arxiv_id":"2407.03203","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.03203","snapshot_observed_at":"2026-07-10T18:17:33.874839Z","title":"arXiv preprint arXiv:2407.03203 , year=","venue":"cs.FL","work_id":"f59ee4ab-0e3d-497c-bbc3-8fbdd88c0e9c","year":2024},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"cited_paper":"/paper/2407.03203","citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:f5bdd334891527b21628b4e5dd1122f7a4e4e7be182237d9f9c6873a922ca17d","observation_id":"a94eca32-ccf7-43ea-9a11-dad189abed1f","resolution":{"observed_at":"2026-07-02T13:46:59.600485Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-28T00:59:54.485343Z","title":"Openai achievement of gold medal standard at the 2025 international mathe- matical olympiad, July","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:585724ee4194c8ca78d6440208b7a71ac4607575d776f00e2a3cd2e75484fa3b","observation_id":"078d9299-70d9-409b-b085-f8a2cde73b21","resolution":{"observed_at":"2026-06-28T00:59:54.485343Z","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":"status/1946477","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T13:46:59.580063Z","title":"Xin, H., Guo, D., Shao, Z., Ren, Z., Zhu, Q., Liu, B., Ruan, C., Li, W., and Liang, X","venue":null,"work_id":"ba7a400b-c86e-4ab2-b6f0-6cc59ddd2ca6","year":null},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:43de001db192986118964e13223b875b4d4728f45135540c817cc98a5d95ee91","observation_id":"556a4157-b699-4610-aa54-8eced677e3f1","resolution":{"observed_at":"2026-07-02T13:46:59.581748Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2601.22554","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-02T13:46:59.577243Z","title":"LeanArchitect: Automating blueprint generation for humans and AI.arXiv preprint arXiv:2601.22554","venue":null,"work_id":"17ce4474-56d4-4eeb-a3f9-1f0175b36ac5","year":1971},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:0ceeed739c5330179b61ad247d998f68ccbd3c12a4bc090d9b56aa254bb37fe6","observation_id":"d787bfc9-b4e8-42f5-b04e-e0de1a6dbe8f","resolution":{"observed_at":"2026-07-02T13:46:59.578955Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-28T00:59:54.485343Z","title":"multiply by four","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T00:59:54.485343Z"},"links":{"citing_paper":"/paper/2606.06468"},"observation_digest":"sha256:dabe052067fb12eac59400fb0a88e32d71955a4bd4bd72d5167b90a2a1b80c64","observation_id":"5db40041-c96f-4edc-a1e0-92e895264438","resolution":{"observed_at":"2026-06-28T00:59:54.485343Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.06468","last_updated":"2026-06-04T17:54:44Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-01T01:11:45.256948Z","submitted_at":"2026-06-04T17:54:44Z","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":2,"verified_exact":11,"verified_fuzzy":0},"total_outbound_references":16},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 2 inbound Pith citation observations for arXiv:2606.06468."}