{"as_of":"2026-08-07T03:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:237d01b1577d9240f30c92a61ff6d9a647fd05354aec89dda04626774ae5316e","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":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":14,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:31:27.281171Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T19:10:04.276956Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_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},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-17T18:32:40.880435Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2504.11354"},"observation_digest":"sha256:1af60aae4e0bd3befc3e260142753361f4122e24119d3b90d31e6015bb0a7836","observation_id":"c2fc0635-efa5-402a-9fa1-f88516b75ac9","resolution":{"observed_at":"2026-05-17T18:32:40.918717Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-06T20:31:27.281171Z","title":"Lego-prover: Neural theorem proving with growing libraries","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.02541","last_updated":"2025-07-03T11:35:34Z","snapshot_observed_at":"2026-08-06T20:24:14.330298Z","submitted_at":"2025-07-03T11:35:34Z","title":"Clarifying Before Reasoning: A Coq Prover with Structural Context","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T20:31:27.281171Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2507.02541"},"observation_digest":"sha256:fad128ae40f0ba9715e25953ee79feae9ca27f4ed9c2ca2b68b918999e096566","observation_id":"d408067e-135e-41c7-9d7c-b2fd1bf069a3","resolution":{"observed_at":"2026-08-06T20:31:27.281171Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-06T15:42:08.504816Z","title":"Lego-prover: Neural theorem proving with growing libraries.arXiv preprint arXiv:2310.00656, 2023","venue":null,"work_id":null,"year":null},"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":38,"source":"pdf_text","source_observed_at":"2026-08-06T15:42:08.504816Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2507.15225"},"observation_digest":"sha256:0322a77d7226054a17077985f28b5260588590d353282de53712453f1635d6ac","observation_id":"59aabeec-9984-4644-bd0c-aa2c767f5103","resolution":{"observed_at":"2026-08-06T15:42:08.504816Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-06T13:47:37.576970Z","title":"LEGO-Prover: Neural theorem proving with growing libraries","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.20199","last_updated":"2025-08-13T10:58:50Z","snapshot_observed_at":"2026-08-07T02:31:13.622342Z","submitted_at":"2025-07-27T09:38:32Z","title":"StepFun-Prover Preview: Let's Think and Verify Step by Step","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T13:47:37.576970Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2507.20199"},"observation_digest":"sha256:6c2f764faba0f881d4d344ab4e9631501ab416ce8a66617d0cc1f79969dfc16e","observation_id":"36feea82-9a2a-409e-ab89-5cc73df27e9c","resolution":{"observed_at":"2026-08-06T13:47:37.576970Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2507.21046","last_updated":"2026-01-16T20:59:08Z","snapshot_observed_at":"2026-08-01T06:32:44.461162Z","submitted_at":"2025-07-28T17:59:05Z","title":"A Survey of Self-Evolving Agents: What, When, How, and Where to Evolve on the Path to Artificial Super Intelligence","version":4},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-14T22:23:14.621091Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2507.21046"},"observation_digest":"sha256:53b7cb2b3c39f014dbc1e006ce21ae2565738df2a9ca966bca76502d89490256","observation_id":"8400ccbe-1fcc-49be-b869-eb5c4140f682","resolution":{"observed_at":"2026-05-14T22:23:15.547500Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-06T17:05:19.239606Z","title":"Lego-prover: Neural theorem proving with growing libraries","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.22069","last_updated":"2025-07-31T07:33:11Z","snapshot_observed_at":"2026-08-07T02:53:12.764311Z","submitted_at":"2025-07-16T03:11:43Z","title":"A Compute-Matched Re-Evaluation of TroVE on MATH","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T17:05:19.239606Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2507.22069"},"observation_digest":"sha256:99d059c3adc0975cf74623b863f0f98bf6d697caf148ae1e0ea37d7cee223993","observation_id":"32f94fc4-ff56-47f3-a992-a178bf87fd54","resolution":{"observed_at":"2026-08-06T17:05:19.239606Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2604.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:416967883795476132459ccaccae6c93524ee1f32d657ded5fe12d5f03322280","observation_id":"0878dc47-7271-48d2-a42a-aed0f743485e","resolution":{"observed_at":"2026-05-12T00:11:16.348279Z","resolver_source":"arxiv_id","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":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2605.01394","last_updated":"2026-05-02T11:31:33Z","snapshot_observed_at":"2026-08-06T01:33:30.617883Z","submitted_at":"2026-05-02T11:31:33Z","title":"LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-09T14:35:14.357256Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2605.01394"},"observation_digest":"sha256:17c05f7164446f6183f37c855d35651974f6e5c690cfa1e039f13f7c5776d785","observation_id":"76baa175-1c68-4611-aed5-2b056f264ed7","resolution":{"observed_at":"2026-05-11T16:51:09.534736Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2605.23643","last_updated":"2026-05-22T13:55:11Z","snapshot_observed_at":"2026-08-02T12:37:45.812132Z","submitted_at":"2026-05-22T13:55:11Z","title":"Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-25T04:09:10.588205Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2605.23643"},"observation_digest":"sha256:733ff6b143862807a096974a573e402efd177890bd5b0f4f53db9002244247c6","observation_id":"244b7b1f-3aa0-42a3-b10c-6a6db7125321","resolution":{"observed_at":"2026-05-25T04:10:19.430662Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2605.25556","last_updated":"2026-05-27T19:06:07Z","snapshot_observed_at":"2026-08-03T11:59:32.421384Z","submitted_at":"2026-05-25T08:12:26Z","title":"Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-29T19:52:06.158735Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2605.25556"},"observation_digest":"sha256:3b445ad14687a9111aff405969759945c79d017a0ae54585fbc06bb1b92635fe","observation_id":"b68ba112-7551-4f56-974f-13ae1ba71011","resolution":{"observed_at":"2026-06-29T19:53:55.464207Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2605.29955","last_updated":"2026-05-28T14:00:22Z","snapshot_observed_at":"2026-08-06T21:32:27.403518Z","submitted_at":"2026-05-28T14:00:22Z","title":"Formalizing Mathematics at Scale","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-06-29T07:35:06.858835Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2605.29955"},"observation_digest":"sha256:892a61ef48820c9cbbb2524318ab512e6280f6e14f27cf550300c6a1139352ac","observation_id":"9d07a26d-1857-40ba-99ef-d39bec3ec1bb","resolution":{"observed_at":"2026-06-29T07:53:14.288299Z","resolver_source":"arxiv_id","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":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-07-06T23:53:36.096914Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-27T01:14:04.350160Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2606.18098"},"observation_digest":"sha256:520e5b52ae12419fe9f0211bc27fed129c288c692248c228ba5f5f6493cafcc4","observation_id":"37be89b3-700b-4ef8-95d9-16beca363e81","resolution":{"observed_at":"2026-07-03T20:38:55.790303Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":"2310.00656","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-07-04T19:10:04.276956Z","title":"URL: https://arxiv.org/abs/2310.00656","venue":null,"work_id":"ba7b923c-31a8-402f-8437-764efbd6e2ba","year":2023},"citing_paper":{"arxiv_id":"2606.24443","last_updated":"2026-06-23T11:24:49Z","snapshot_observed_at":"2026-08-06T03:49:18.465012Z","submitted_at":"2026-06-23T11:24:49Z","title":"Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-25T21:59:02.948726Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2606.24443"},"observation_digest":"sha256:e553883c9ec0bee2d141a1f49c51ce5cc8daa53a071e6575b25811bbbaa8c933","observation_id":"5d7848b9-bb7e-4e9e-beb7-a9016c19b693","resolution":{"observed_at":"2026-07-04T19:10:04.279008Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-02T05:40:00.998283Z","title":"2310.00656 , archivePrefix=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13292","last_updated":"2026-08-05T04:34:27Z","snapshot_observed_at":"2026-08-07T03:17:54.733687Z","submitted_at":"2026-07-14T21:58:52Z","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T05:40:00.998283Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2607.13292"},"observation_digest":"sha256:cd0569387e2c00fa40f67578dee993fcb523bc9b93b02a798245f254c7536596","observation_id":"9dc78a3f-9a8b-471d-adc8-3f6a8a5a3206","resolution":{"observed_at":"2026-08-02T05:40:00.998283Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2310.00656/citation-record","integrity":"/paper/2310.00656/integrity","json":"/paper/2310.00656/citation-record.json","paper":"/paper/2310.00656"},"outbound":[],"paper":{"arxiv_id":"2310.00656","last_updated":"2023-10-27T12:44:32Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-04T09:49:13.140822Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries"},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2310.00656."}