{"as_of":"2026-08-08T20:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e390ad51c69c6cf7a7c2248e29024e46b214d13d93f3bd75e94c83d9c4652b06","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":17,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T12:07:05.032466Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":3,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2403.17134","last_updated":"2024-10-28T17:33:27Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-03-25T19:17:43Z","title":"RepairAgent: An Autonomous, LLM-Based Agent for Program Repair","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-19T10:22:16.434514Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2403.17134"},"observation_digest":"sha256:479e1118d670599869550fc628c7b58cf8d045c088dc1e47545b9bea63a85b49","observation_id":"dc1e414b-6b1d-47ca-908b-b60e1d5dd546","resolution":{"observed_at":"2026-05-19T10:22:16.568777Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-08T12:07:05.032466Z","title":"A language-agent approach to formal theorem-proving","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.07640","last_updated":"2025-04-19T13:53:05Z","snapshot_observed_at":"2026-08-08T12:00:22.357251Z","submitted_at":"2025-02-11T15:27:35Z","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T12:07:05.032466Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2502.07640"},"observation_digest":"sha256:a80218a46e430e994ec953f3f90b6ef3aafb26402d2b16451cd6465445967d22","observation_id":"5f34427c-5443-4482-b71a-9a008303e24c","resolution":{"observed_at":"2026-08-08T12:07:05.032466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-07T14:06:30.740697Z","title":"An In- Context Learning Agent for Formal Theorem-Proving.arXiv preprint arXiv:2310.04353,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20047","last_updated":"2025-05-26T14:34:04Z","snapshot_observed_at":"2026-08-07T23:31:54.437843Z","submitted_at":"2025-05-26T14:34:04Z","title":"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T14:06:30.740697Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2505.20047"},"observation_digest":"sha256:e51bd11a2351392d4d486cf1ae3f1d02d69ceabd0fc0a7a44143bef47c88891b","observation_id":"33f465c2-ff0d-44f4-8428-488c028241e4","resolution":{"observed_at":"2026-08-07T14:06:30.740697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-07T12:35:19.670076Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.670076Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:4c936cb3d0711aa0b62814d240b7e9c97994496e46e623415c0b3d608a621ce4","observation_id":"82a89a40-98e0-4ce3-a677-c4f054ca48ef","resolution":{"observed_at":"2026-08-07T12:35:19.670076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-07T06:08:26.563979Z","title":"An in-context learning agent for formal theorem-proving.arXiv preprint arXiv:2310.04353, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.06034","last_updated":"2025-06-06T12:33:12Z","snapshot_observed_at":"2026-08-07T23:32:23.352137Z","submitted_at":"2025-06-06T12:33:12Z","title":"MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T06:08:26.563979Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2506.06034"},"observation_digest":"sha256:efb5e205e3255e46dd5a1403d36f340e34a42b03aa6d5bd7af32a3f7b55dc1c3","observation_id":"b874b35f-e245-4960-842f-c504424062fe","resolution":{"observed_at":"2026-08-07T06:08:26.563979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-06T15:42:08.350989Z","title":"An in-context learning agent for formal theorem-proving.arXiv preprint arXiv:2310.04353, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15225","last_updated":"2025-07-21T03:56:35Z","snapshot_observed_at":"2026-08-06T17:33:28.833666Z","submitted_at":"2025-07-21T03:56:35Z","title":"Solving Formal Math Problems by Decomposition and Iterative Reflection","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:42:08.350989Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2507.15225"},"observation_digest":"sha256:393ef19f22874c893b053df9676e207cf766bd6e9ed40eb777886c3ab4ba06ea","observation_id":"71bd7e27-0444-475d-b810-82263a3b5f39","resolution":{"observed_at":"2026-08-06T15:42:08.350989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2507.21035","last_updated":"2026-05-17T21:43:43Z","snapshot_observed_at":"2026-07-06T22:04:01.721229Z","submitted_at":"2025-07-28T17:55:08Z","title":"GenoMAS: A Multi-Agent Framework for Scientific Discovery via Code-Driven Gene Expression Analysis","version":3},"reference_index":111,"source":"pdf_text","source_observed_at":"2026-05-22T00:37:11.945418Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2507.21035"},"observation_digest":"sha256:adc7ae11a033e81da5192c7be4d13d21d3df17e9b69c3f5eba3ebd0ccdaf16d2","observation_id":"372d5f64-382c-4891-a34e-324950e64a07","resolution":{"observed_at":"2026-05-22T00:40:51.311575Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2509.14274","last_updated":"2026-06-29T08:48:10Z","snapshot_observed_at":"2026-08-04T16:40:58.811345Z","submitted_at":"2025-09-16T06:48:11Z","title":"Discovering New Theorems via LLMs with In-Context Proof Learning in Lean","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-18T16:09:39.975762Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2509.14274"},"observation_digest":"sha256:d93381ca19a1aa64ce7ceb78294d0d591cb74ff68b314bb1e7772c23ff079f04","observation_id":"dab8c14a-cc85-46c5-afba-072f40e4be14","resolution":{"observed_at":"2026-05-18T16:11:35.893282Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-04T16:41:00.370115Z","title":"An in-context learning agent for formal theorem-proving.arXiv preprint arXiv:2310.04353, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.14274","last_updated":"2026-06-29T08:48:10Z","snapshot_observed_at":"2026-08-04T16:40:58.811345Z","submitted_at":"2025-09-16T06:48:11Z","title":"Discovering New Theorems via LLMs with In-Context Proof Learning in Lean","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T16:41:00.370115Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2509.14274"},"observation_digest":"sha256:6de8bccdfab244167d59b73400394b5d1d250bb8283aacac8940a5ce8a838bbe","observation_id":"2e3fdd69-5ef5-4bc7-84a0-215783870e35","resolution":{"observed_at":"2026-08-04T16:41:00.370115Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_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},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:b7252e6ef66bc64fca095976fc0eebacfe8c88160a56496433d0faa04c620aa8","observation_id":"66f3ef1f-ce8f-40c8-a249-46d4cd5a1809","resolution":{"observed_at":"2026-05-15T18:46:29.372084Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2604.05820","last_updated":"2026-07-14T09:49:12Z","snapshot_observed_at":"2026-07-17T23:18:01.233145Z","submitted_at":"2026-04-07T12:53:42Z","title":"SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-10T19:06:10.718673Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2604.05820"},"observation_digest":"sha256:1c07a2337ade1838c5af085f196dc7f3905741c3843612152d44213f534266e5","observation_id":"4ff6ec37-3410-4d08-b898-0c75cf87f2f7","resolution":{"observed_at":"2026-05-10T19:35:45.846140Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2605.23109","last_updated":"2026-05-22T00:05:36Z","snapshot_observed_at":"2026-07-06T23:33:24.215365Z","submitted_at":"2026-05-22T00:05:36Z","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-25T04:52:06.456555Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2605.23109"},"observation_digest":"sha256:6b8e79912cc48dfe7c6153e4f6de8cc4948714f5b18a15b9f74ba038368a4331","observation_id":"c300add3-99a4-4b20-ae92-9377c64ba7ed","resolution":{"observed_at":"2026-05-25T04:55:23.817733Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2605.23772","last_updated":"2026-05-22T15:41:27Z","snapshot_observed_at":"2026-08-01T14:43:06.310592Z","submitted_at":"2026-05-22T15:41:27Z","title":"Agentic Proving for Program Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-25T04:02:22.170884Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2605.23772"},"observation_digest":"sha256:b7c341a4fb79dca0ba2fca904088de291bce70545d47b0f67cdd8599003f3763","observation_id":"0cca331a-e2b7-47f6-a26c-7324082cf456","resolution":{"observed_at":"2026-05-25T04:05:20.718664Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2605.27485","last_updated":"2026-05-26T14:50:47Z","snapshot_observed_at":"2026-08-02T13:15:11.614769Z","submitted_at":"2026-05-26T14:50:47Z","title":"Automating Formal Verification with Agent-Guided Tree Search","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-06-29T14:54:59.333847Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2605.27485"},"observation_digest":"sha256:5000e0ffbee974e2bfa3e1e6e6c0e9b2708af86c7a69407b183b9c68b6dc226c","observation_id":"f3c3fcd3-7eb4-4d37-a929-130f4149a4a8","resolution":{"observed_at":"2026-06-29T15:03:31.407701Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":118,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:c501f80a575a386f07abba088a446cb70ef15b694ec321ded588fe1b26fe72f3","observation_id":"e7122ffc-b7e4-407a-9f32-a57cd476d0ba","resolution":{"observed_at":"2026-06-28T23:52:49.272581Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2606.09450","last_updated":"2026-06-08T12:57:18Z","snapshot_observed_at":"2026-08-02T11:29:46.747086Z","submitted_at":"2026-06-08T12:57:18Z","title":"TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:47edf83c52e49c7cc927162cae45544a8a49f3dea1ee03e3d67c832a362ab3dc","observation_id":"d46f934f-2870-4c2f-b02e-185a2e3c7485","resolution":{"observed_at":"2026-07-03T01:47:31.559938Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":"2310.04353","doi":"10.48550/arxiv.2310.04353","metadata_source":"arxiv_reference","pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An in-context learning agent for formal theorem-proving","venue":"arXiv (Cornell University)","work_id":"354e6ad2-0712-4d89-a847-78a47bc6c434","year":2024},"citing_paper":{"arxiv_id":"2606.26442","last_updated":"2026-06-24T23:09:49Z","snapshot_observed_at":"2026-08-08T07:24:05.848330Z","submitted_at":"2026-06-24T23:09:49Z","title":"AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-06-26T00:26:02.757706Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2606.26442"},"observation_digest":"sha256:435bf5a21b97b3c85d3251cf7939196a9ee31564b79b0bd083bb497895224f21","observation_id":"d2252dd6-a92b-4ea8-a850-4bed32ac11c8","resolution":{"observed_at":"2026-07-04T16:39:57.351579Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2310.04353/citation-record","integrity":"/paper/2310.04353/integrity","json":"/paper/2310.04353/citation-record.json","paper":"/paper/2310.04353"},"outbound":[],"paper":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","latest_version":5,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2310.04353."}