{"as_of":"2026-08-14T02:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:045fa66e3320a60ea1e7e5699692deed93e5e88aad51ace26f125515cb966df9","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T21:37:52.473697Z","state":"measured"},{"denominator":73,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":73,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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-07-31T17:33:57.615161Z","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.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.19399","snapshot_observed_at":"2026-07-31T17:33:57.615161Z","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-08T13:32:42.890643Z","submitted_at":"2026-07-30T12:17:31Z","title":"BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-31T17:33:57.615161Z"},"links":{"cited_paper":"/paper/2606.19399","citing_paper":"/paper/2607.28110"},"observation_digest":"sha256:ada57ca29eda5d017ca75693d09646a8f6321bdea071bbc024453cf656360a22","observation_id":"4e76f811-bf86-4bf2-b726-5c4a3a3ea9ef","resolution":{"observed_at":"2026-07-31T17:33:57.615161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.19399/citation-record","integrity":"/paper/2606.19399/integrity","json":"/paper/2606.19399/citation-record.json","paper":"/paper/2606.19399"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:0a670ec36231b4d56c3bc4c02a7bbef18b971eee99e7275cd28daa663025258a","observation_id":"1d990b25-27c7-47b1-8a35-83836e78bc98","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":"2009.03393","doi":"10.48550/arxiv.2009.03393","metadata_source":"pith","pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Generative Language Modeling for Automated Theorem Proving","venue":"cs.LG","work_id":"73e4b095-67c3-4dfa-bd2f-ac77de3e125f","year":2020},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:75c8649175455c7b3582937a57c5429da7637fdec37f75f0cc2bc9c04b7f40ae","observation_id":"a2d13d5c-3819-4311-842a-c438b5458c87","resolution":{"observed_at":"2026-07-03T23:59:06.416664Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-05-25T06:24:06.618072+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T06:24:06.618072+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:cd48c49c465419a65661e20446bc30a6c7179cd4fac45b16949e8a986555b419","observation_id":"f5ea86ab-598d-4a9c-bc59-ac0e32da975f","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:d91ebfdcf9dcb1e4dbb0d42a06d97678fa795aa04c1f4895c180638ee545a3b1","observation_id":"5760f1bc-2dad-4394-9090-94a797c9fe28","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Li, Wenda and Tworkowski, Szymon and Czechowski, Konrad and Odrzyg","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:a55c6a89b1a4df5165d0fdde266a48d4011f94fa2c424045e17e21e2320b2def","observation_id":"194fcfe4-aac0-4a2b-8912-c7ca3fc849ff","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:9c9f8baae7369024bf328f76e02a730a7d8f69368c8e29c5fd4ec9ed7c94c8b3","observation_id":"964aa211-2f9e-48ba-92a3-dd5f169b0795","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:72e9de7b43a6d91dd3d64b348c675b6817cb88f02c58e98ca23e1c1dd6d1f8ca","observation_id":"3b01c160-5218-47ee-acdd-d0cbf489339d","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:b9c23a36a66f41197d0db3393c42dccec541b1c58d9f6691798f237ec80d38c2","observation_id":"ad854529-abd5-4e42-8dda-5195a1a73ee7","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:2c7ea54c57d5d63776c0aeab47e0a2efb98626ccbe0abe6d832e689032f9fa40","observation_id":"125e29c9-4fc4-480c-a8c2-ba9cee8de7a0","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T21:37:52.473697Z","title":"First Conference on Language Modeling (COLM) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:b0f6a4265f1dffd20d18f846a3fc00ac3d3403c95dd3575cae43d063caf37ff5","observation_id":"6f63344a-d528-4061-a06a-535563be8fb9","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:82c56b20d214cf5004cefaf80fee510f235958232c1ac0602b759b2b93ff80e0","observation_id":"14bce4d0-fe54-4cc8-b940-4f71563f5d28","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Deng, Jia and Biderman, Stella and Welleck, Sean , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:308d97f326b55d8fceaa249d25eb76b1f660ba73584d3aa82eb98039f109a831","observation_id":"9e290526-1dc0-41d6-b566-f80b08b53ada","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Radev, Dragomir and Avigad, Jeremy , journal =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:801da55ae4ce07e7645dd70a716d34d6b17283a831328648f92311ab18de0117","observation_id":"1753671d-0076-4dcf-b7ff-1657f2288a43","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:96c56deedf6f594e5f2ef17814d88d501b798aad4ede50930781cb720f3216ae","observation_id":"8e57b8e2-e69e-4b7a-8af6-6db2ae719ab0","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:f9ecc25f528636ce026c14add02b62b313d3a7913ce8ca11e29233fa2cc6693a","observation_id":"cbe1b409-8b5d-4b34-84b3-f45445b08368","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:e09e409daa58dae2a2645398a71efa5e5279128f03fc82c020c6640e9b67953a","observation_id":"a24f751b-9e0b-417a-a2ec-35c9685c6051","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:1bdf8422abe2c1feef02ef86c431c98630c4a891c4d0319a1b7429750d3d3568","observation_id":"7c3e1866-71a1-495e-9837-43f0d8293cb2","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Machine Learning (ICML) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:815c26adba87420901434217c9bacee57400bbe2197093bd1a3057fe27592afb","observation_id":"11c75170-c560-4883-b752-81504fd74851","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:8310515eff848ec2f635eb22b4034a5494e7b9f1cc4371226ba827e658ee09cd","observation_id":"dee15629-e977-469c-bc03-2f4361645c5d","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:19dacb297c88b6f2ff79ef1674d1a131bb37aa2602ee00675ba0e2c183f04443","observation_id":"4d51b913-8f57-4ce4-9972-b70c80ea46ce","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:93b42ada333e9a2751365a27ae403583040988c77ec8a08b7a4531c7f34cfc65","observation_id":"824ea6e1-324b-4faf-bf98-77f66702835e","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:658d6498f02973f022a51542bb9e13121488cf4210e1f3987eb45d3814411aef","observation_id":"6331ab15-ce64-4872-9a49-a82f39750f12","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:8b16697cc358f9b57a5401436d2500f84e80182a0ab5d975783161a0c4e3832d","observation_id":"d6bf49a1-2592-4c95-9d43-3b1cd9fa4a85","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Machine Learning (ICML) , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:541271cab551276069623f744d124e8a49d1ba9fa0f453faa43adaea01bce77a","observation_id":"85acf657-487e-4d40-9e34-06a3c15239a0","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:fbe81a9e1112f197f0bf50bca68e4594f20af50a6611d20f059ae08535dc41ba","observation_id":"6ca506c9-a7ae-4145-97b3-ebae1b06ce9b","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Rabe, Markus N","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:d4d90deb8245d71a1e8ff836c4055add31e8e37a07ecfdc0442f76e666953d20","observation_id":"3c5121b8-89f2-48b5-b71c-8251af166668","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Bandit Based","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:1b31bf7b3e8cb4ed45a71142c38d002347a96230d93a8b96b31300ecb22a0002","observation_id":"ecdd7c8d-f5bd-4261-bedb-906c93d535c6","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Machine Learning , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:237c79c216158abc0c7416d9f555be0609b0991b7a2bd2709dd7f529b7a2cfdc","observation_id":"7518fe9d-120f-4621-ba15-ec6edad6363f","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"A General Reinforcement Learning Algorithm that Masters Chess, Shogi, and","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:fbcacbd028e60cb4824d356864669b0c5019bd259d17e83ba67aa1c02a3718aa","observation_id":"0cd554b7-5c87-4d0a-841e-a59d6438263d","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Nature , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:306ab08d3b44fe806a94cdc5d14ced886e153861bd79046aa785316cab2ff246","observation_id":"562866e3-0e97-43b5-b6c3-5fa376d21c1b","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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":"2502.03544","doi":"10.48550/arxiv.2502.03544","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gold-medalist performance in solving olympiad geometry with alphageometry2","venue":"ArXiv.org","work_id":"d285f791-a0ad-4c8b-94ef-802ce256144e","year":2025},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:311767c511ab6524a2d37f762a2f71bf3a2f43fe9b1cc07ac48765f06c517af2","observation_id":"85c39725-7215-4f7f-8ae4-2eb994acdb5b","resolution":{"observed_at":"2026-07-03T23:59:06.421370Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-26T21:37:52.473697Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:5c853d56ba50ed6d86ddbf39eca0fc7e9f32d6b2b530f9b2355fe4994b3356a6","observation_id":"3f2dddb6-c78f-410c-8b11-798299ff898e","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":"2110.14168","doi":"10.1002/j.1545-","metadata_source":"pith","pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Training Verifiers to Solve Math Word Problems","venue":"cs.LG","work_id":"acab1aa8-b4d6-40e0-a3ee-25341701dca2","year":2021},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:619da601e07510e2b771873953327d14d49441f7de7d07fe5ecea561e53b69bf","observation_id":"3debf338-cc79-4b11-9bc9-4cc7879fe64c","resolution":{"observed_at":"2026-07-03T23:59:06.425399Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.14275","last_updated":"2022-11-25T18:19:44Z","snapshot_observed_at":"2026-08-01T02:16:43.109337Z","submitted_at":"2022-11-25T18:19:44Z","title":"Solving math word problems with process- and outcome-based feedback","version":1},"cited_work":{"arxiv_id":"2211.14275","doi":"10.2196/53233","metadata_source":"pith","pith_arxiv_id":"2211.14275","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Solving math word problems with process- and outcome-based feedback","venue":"cs.LG","work_id":"94492239-b1d5-435e-bea5-7f51992d0614","year":2022},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2211.14275","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:1e5c282ecf0970cd8233eaba3890aa7ae6d7be64e582bd8ac115bbbf31df375c","observation_id":"cc1531ea-ffae-42d7-b1d4-9a1e448c8f56","resolution":{"observed_at":"2026-07-03T23:59:06.411800Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:b7f05189b434c6572ded5de98c0e11351d6c38c32ae1d775cb1d79a479d0d658","observation_id":"0bc3dfd0-5b64-4614-91dd-b2bfe1b5bba9","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:3801d02e22c040a28d18546c480396a7a541b98377a2544367287e82b409e213","observation_id":"3c4877fc-6595-4a6f-9ef2-479ebb87e024","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:d7085087671f340a699bf2de458b53f7e8ab9189456d2be38cda0ae9af4b58ba","observation_id":"2d5e67bf-14a4-41d4-b266-5ecdc965374e","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:e8e5a83e5bcb450a4c73c725ce4d84a2a40204bf0d71af3a9fadb548e123bbb6","observation_id":"ac023760-5ebc-4d45-a83a-245c124cf7e5","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:15b1caed1d353d9a0abd873c1f6977639aac76192b95eeb7803599325f283c39","observation_id":"a4b0ae76-22a8-4980-9874-70da26fb4e6c","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:1ef5804056d60e7254c735ea294998afa21ce1371cf01033cfaf16a501ef54c0","observation_id":"39013d40-a1bc-4cc2-9762-86e57243359f","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:8fc457759b19c6e8d502f323c83c627e92ecf2abdde63627438ae7e1b985b4c9","observation_id":"6c436395-0851-4878-a26c-8db800e52d20","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:433ab078ccdf734168719f5be1d43757480596a2a43c47abc59aff57dfa9a6ee","observation_id":"3c9c056d-4c3e-4a58-9b77-2b9da3f5d1a3","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:c9bd320c7a6fe41d304c8db12e095f02b8aeaf6f0efc4828642c4300f97bda45","observation_id":"729b670e-7daa-40fa-bc55-981e00de70ae","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:e788f3e6efef09bb2520345b176c045b9dc2166f1c53e0f3e32fa686850ae96d","observation_id":"0e09d8dc-dafa-483b-a3f7-99cdf0f8c11b","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Measuring Mathematical Problem Solving with the","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:f8e5af1fa88cffbe5e55881b0e7d73e2b7bb0a0f28128b88abcd333e40e04220","observation_id":"7688a278-ca53-480f-b0bb-c373f734bcd5","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:ee35d5b531dd21901ea0aa1e445f7cad5bc05ae4eb11caae69f0e8a2238850d4","observation_id":"2dd56135-d96b-4104-bccb-94a7f8e4f57c","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:335917a098d96f816aa734776ff945c71a0be374b917623f1217ab7b88fdf6c2","observation_id":"abf8ef37-6c61-4cc4-aee4-c7234d72fe90","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:9fd1e16345e62dc1f527cd2fa5e41965ceb90fe3ce384a19f5a8b51c51bde2f7","observation_id":"c0e13ace-a58f-4ddf-b95f-8eae221a67f2","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"International Conference on Learning Representations (ICLR) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:6e2a568365bcc9033cb29eb083ffa53294cfcabaeb421d05527126e3ed67d8fb","observation_id":"ea527664-9522-409b-b6b4-660d501b572e","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Burger, Doug and Wang, Chi , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:7c8f2020b7d3f836ce18a354a6587373f2563467bba1c61d70bb5b293091ff23","observation_id":"25e5ef3e-63ad-436d-83f7-feaaa84665bf","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:8e5252848c84d6670f4c77fd7af00c8e2281ba700cf9ef2e703a28706af53e9f","observation_id":"d1dc04ed-89ea-457c-a341-1efc7e225415","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:a837675eed55b8cbf53e746fe6084ec51650ed5bd82eac3a1661c7698dde3bad","observation_id":"978aa8d9-b2fc-487a-93df-b126ebf45b12","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Conference on Empirical Methods in Natural Language Processing (EMNLP) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:7b7e035f64eacef0008930c327505823fa40910db1a7f11485a23f3c3e4ad809","observation_id":"f73a6ce1-1ffd-4401-adc0-835704ca9eab","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:b8e621a260634d21fca1ae43e8a7d200c6bb846581fe3732c033b5c630cf1308","observation_id":"70f33c2d-83ec-4c14-bf0b-2b28dcd0bc66","resolution":{"observed_at":"2026-07-03T23:59:06.406745Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-01T08:08:23.404839+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-26T21:37:52.473697Z","title":"Competition-Level Code Generation with","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:8b9ffb6d3f4268b840445aa044413ab9dfb59af6210025c5a7077dc8731b4272","observation_id":"166f1e8d-72ab-4c1d-9d32-7369c42a0489","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-08-13T04:25:38.282910Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":"2308.12950","doi":"10.48550/arxiv.2308.12950","metadata_source":"pith","pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code Llama: Open Foundation Models for Code","venue":"cs.CL","work_id":"e73bffa4-7620-47ac-9327-259a60db52ca","year":2023},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:e40ffe289d5ec7ba94231bdface62d748e9998030a482cc3dc73410dccbbc450","observation_id":"954f4318-6d76-4230-aff9-03fbea74cae9","resolution":{"observed_at":"2026-07-03T23:59:06.401634Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-07-09T08:48:36.742994+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T08:48:36.742994+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:4a137ec793f7f52da54ed8da559e1a15318e6ab7e719d65cb925dc9a1bf4a247","observation_id":"436e4983-7141-4277-9c95-a4cbcaa4fbc1","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":"2303.08774","doi":"10.1002/tea.20265","metadata_source":"pith","pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"GPT-4 Technical Report","venue":"cs.CL","work_id":"b928e041-6991-4c08-8c81-0359e4097c7b","year":2023},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:eb14fd5371c0d1901b390df3f6207cd55b13d710e9d1f718a2f62443f25fafd2","observation_id":"974e4e93-a040-44e3-a9c4-42c503b2a22c","resolution":{"observed_at":"2026-07-03T23:59:06.396586Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:d6dac7435f812a197e18ccff307b028bb901fe3a560dd9effc59736326ac7914","observation_id":"32b007ca-5261-45d2-a9b2-51cd851ac69c","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Retrieval-Augmented Generation for Knowledge-Intensive","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:b2d2a0c94f3ff869ab9eac227e968d5249de3c26a4d750ae0497aef71fc82735","observation_id":"59db295a-6812-4756-a9c8-d99fb3e55a72","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Conference on Empirical Methods in Natural Language Processing (EMNLP) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:38afcff6d7a18fbb41f26cf4cd6c45bc84bcd9f088a833f61ad8a4b6c1dba1eb","observation_id":"d412dbc7-f96c-49e6-813c-f359652e99ff","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:8c99e0b254226716b82a690bdc3169f44a708d27a6f84884d040b4fd8a093f9d","observation_id":"6b28663b-7990-4945-836e-a6de51acacd4","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Blanchette, Jasmin C","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:3940b4d8ac7b94f75fd60ea404b7df7c5a045dedcfe8347df03a4cadca244ba2","observation_id":"ae3bedd5-9cea-4089-8070-75fa9bd1c189","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:ace656208cb297299c38bcb05eb43cf89b3d20b2c17dc8523b418e48e38e132e","observation_id":"1ce38b0b-5ee1-478f-9c87-843b558a77ea","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:6321486a07a011a2669b07ec4edf42ac42aafc452a5616e636be95bc0c5a45f6","observation_id":"347afeb2-762e-43ff-a8a5-1b9d24930b56","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL) , pages =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:a08fc06e93ea43721233057ffae707fc7faef8a175fe79102d65a7ce666867cd","observation_id":"9a7e9c23-29ee-47ae-9d65-ec0278c055ea","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"and Ringer, Talia and Brun, Yuriy , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:c1e2c15a0c6d222f6f0dc1313887bba9f5d7613442724c4fb9a186ebeea01365","observation_id":"d5d0462d-447b-4043-8c0e-b268831b6c47","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:b5c551a2bccca765d7ef665aa5604248f085ef15cedf457f6e9444be4c59acd7","observation_id":"3a064499-16a0-4f2c-9818-91fabf2d5537","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":", booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:56dde2fb6a3d317e2bcf2d942f977f26c0c096ff7e93b1510e829e2c31e1c721","observation_id":"bdd51482-46c4-46ab-ac29-157ec2857836","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:419d663c3c1b0535e5557187fde2640979cebeb2eb718dcad77cdb40647e8319","observation_id":"2cb57f36-7acf-4f77-9d47-6694f36b0e1a","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","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-26T21:37:52.473697Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:3b66f89fb46f6f3a18ade1b3c61211718e49c3f835e96df793280a6948b8d0e9","observation_id":"a4cb26c9-6fba-4b9d-842f-43c7f98e665e","resolution":{"observed_at":"2026-06-26T21:37:52.473697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2601.20802","last_updated":"2026-02-16T14:49:34Z","snapshot_observed_at":"2026-08-13T15:28:29.238641Z","submitted_at":"2026-01-28T17:45:12Z","title":"Reinforcement Learning via Self-Distillation","version":2},"cited_work":{"arxiv_id":"2601.20802","doi":"10.48550/arxiv.2601.20802","metadata_source":"pith","pith_arxiv_id":"2601.20802","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Reinforcement Learning via Self-Distillation","venue":"cs.LG","work_id":"b193541d-5853-4ea4-8e4b-8e4c08617eb6","year":2026},"citing_paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-06-26T21:37:52.473697Z"},"links":{"cited_paper":"/paper/2601.20802","citing_paper":"/paper/2606.19399"},"observation_digest":"sha256:c4108357e45925fb963c8aa4ec04bcfcf5e123f88063515c0c00571a1ec024aa","observation_id":"30d97f63-7e19-47c9-97bd-7d3bd8a99e1d","resolution":{"observed_at":"2026-07-03T23:59:06.400739Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-05-21T06:23:12.649775+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-21T06:23:12.649775+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2606.19399","last_updated":"2026-06-17T09:08:39Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T03:45:29.269830Z","submitted_at":"2026-06-17T09:08:39Z","title":"VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":0,"metadata_mismatch":5,"parse_uncertain":1,"unresolved":63,"verified_exact":3,"verified_fuzzy":0},"total_outbound_references":72},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 1 inbound Pith citation observation for arXiv:2606.19399."}