{"as_of":"2026-08-14T20:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ce8283cdd0c43ace01227cfba42982bdaee261e1a7697bca10f64dcc9b6bfb9f","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T05:11:01.486804Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2608.13522/citation-record","integrity":"/paper/2608.13522/integrity","json":"/paper/2608.13522/citation-record.json","paper":"/paper/2608.13522"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.418146Z","title":"Agent skills","venue":null,"work_id":"c0559ea5-6279-42cc-8744-f8483a4f8617","year":2026},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.294538Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:5d7ebff70d63a8512632c63b449ebd924cf6d9efe05de09e76e914e455397fda","observation_id":"275e85e4-a185-414f-9f9d-7cdca009c3e2","resolution":{"observed_at":"2026-08-14T05:11:02.421906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-14T05:11:01.299046Z","title":"Program synthesis with large language models.arXiv preprint arXiv:2108.07732, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.299046Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:bc2eba66c27c2e66da018764c3298d9d0e7ac7e02bf1877f4f8b88a6f0964f08","observation_id":"31624a55-2d5e-478a-ba55-9c502576a160","resolution":{"observed_at":"2026-08-14T05:11:01.299046Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.406725Z","title":"PhD thesis, Inria, 1997","venue":null,"work_id":"f90a9951-b865-4a5f-866e-e81050b5b564","year":1997},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.303199Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:2931b30f595b6a6a3ba24c178412343ef732a1ccff60302c896d3ccec4a6d750","observation_id":"80a90a3a-9db1-4429-8ec2-fa9f0f0738c1","resolution":{"observed_at":"2026-08-14T05:11:02.410636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T05:11:01.307313Z","title":"A benchmark for vericoding: formally verified program synthesis.arXiv preprint arXiv:2509.22908, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.307313Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:d94670be0296a534187b430316abacfee5ec6f71678f92778cf4ff68604fbe05","observation_id":"96ff787f-574a-4f52-8c57-dd9aa91207f2","resolution":{"observed_at":"2026-08-14T05:11:01.307313Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-14T05:11:01.311279Z","title":"Evaluating large language models trained on code.arXiv preprint arXiv:2107.03374, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.311279Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e07abee33feede038a12c0371ef7cbaec21dbdce2003cb6202d53357edf0a0d9","observation_id":"9f19d308-7575-473e-961e-c6b04b5734d1","resolution":{"observed_at":"2026-08-14T05:11:01.311279Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.394046Z","title":"The Lean theorem prover (system description)","venue":null,"work_id":"2efa9c22-b7b0-4d7e-80fe-d2a596e45be5","year":2015},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.315508Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:f3d7e160f6cbed54a46c4fef36476a646fda012fd69966f4e2eacb2d198166e9","observation_id":"813be550-2ed7-4291-899b-7888c925e291","resolution":{"observed_at":"2026-08-14T05:11:02.398288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T05:11:01.319532Z","title":"Verifythis- bench: Generating code, specifications, and proofs all at once.arXiv preprint arXiv:2505.19271, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.319532Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:29c345717ed4fecc8cc9501e32d8b84a5c1e85be8be24719e344130acc3c91a3","observation_id":"706e0e91-d8ff-4728-a7d6-bde848b9ef23","resolution":{"observed_at":"2026-08-14T05:11:01.319532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05714","last_updated":"2025-02-08T22:54:58Z","snapshot_observed_at":"2026-08-10T03:38:03.003805Z","submitted_at":"2025-02-08T22:54:58Z","title":"Proving the Coding Interview: A Benchmark for Formally Verified Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05714","snapshot_observed_at":"2026-08-14T05:11:01.323314Z","title":"Proving the coding interview: A benchmark for formally verified code generation.arXiv preprint arXiv:2502.05714, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.323314Z"},"links":{"cited_paper":"/paper/2502.05714","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:94d54cd9c50bf4e5eff59da71d8c7be84c773f5800e6330bd0d4a236892a4dc9","observation_id":"a308fcb9-490a-4986-bae3-307e7ee548f5","resolution":{"observed_at":"2026-08-14T05:11:01.323314Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.382266Z","title":"Sloan, and Adam Chlipala","venue":null,"work_id":"930be8c2-d673-4974-922d-575cab9d5312","year":2019},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.327468Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:29f1abbc5494a04beeb79671715a370671ff1016752ee0606d0c1ba368855528","observation_id":"543377e4-81ea-4c5d-9891-fe7c855e52cf","resolution":{"observed_at":"2026-08-14T05:11:02.386306Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.16584","last_updated":"2026-04-17T14:56:45Z","snapshot_observed_at":"2026-07-06T23:03:52.631613Z","submitted_at":"2026-04-17T14:56:45Z","title":"Certified Program Synthesis with a Multi-Modal Verifier","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.16584","snapshot_observed_at":"2026-08-14T05:11:01.331234Z","title":"Certified program synthesis with a multi-modal verifier.arXiv preprint arXiv:2604.16584, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.331234Z"},"links":{"cited_paper":"/paper/2604.16584","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:29017aa985829911136c25ec8aa04a072ccabc4f7be7913eb2add887d7cc537d","observation_id":"5cd3a6bc-0553-4a0f-842f-ef5576685f02","resolution":{"observed_at":"2026-08-14T05:11:01.331234Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.370811Z","title":"CertiKOS: An extensible architecture for building certified concurrent OS kernels","venue":null,"work_id":"77aa5074-1775-4d40-8eb6-39aae86d9da6","year":2016},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.335017Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:f32d2e0d0f4309ae669e6f386f23eb71e5bf469fa64a4ea3cf92937fbf1d6eaa","observation_id":"a765ec26-2950-47af-a7fb-e79b1105e631","resolution":{"observed_at":"2026-08-14T05:11:02.375092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.358474Z","title":"Lorch, Bryan Parno, Michael L","venue":null,"work_id":"15fb524d-06e5-45fb-b8c8-ae891929a8ce","year":2015},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.338770Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:19e96fa4743aaa18020be0bb898f2934ed0b881f3e3efbeb41aec1401f549d29","observation_id":"30d85ca8-dc9f-4e39-8c53-036d6dcdcd22","resolution":{"observed_at":"2026-08-14T05:11:02.363166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.347053Z","title":"Measuring coding challenge competence with APPS","venue":null,"work_id":"3f007fa1-c614-43b8-abf0-9eed040229f9","year":2021},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.342328Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:463740530f0a42e6a2c16a67c390d415d532b12281d4e4e426fd4a74751d453d","observation_id":"3bb55b22-c57f-4b9b-82cf-c84c3d249e12","resolution":{"observed_at":"2026-08-14T05:11:02.350692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07974","last_updated":"2024-06-06T17:41:21Z","snapshot_observed_at":"2026-08-13T09:04:30.125777Z","submitted_at":"2024-03-12T17:58:04Z","title":"LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07974","snapshot_observed_at":"2026-08-14T05:11:01.346577Z","title":"Livecodebench: Holistic and contamination free evaluation of large language models for code.arXiv preprint arXiv:2403.07974, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.346577Z"},"links":{"cited_paper":"/paper/2403.07974","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:54e99ab0347e1ba0ee312d6bdd67d75dbdbbd5bc4939cc2046e1a20233dc11fa","observation_id":"3f6b831e-c190-44a1-955a-27e96234ef78","resolution":{"observed_at":"2026-08-14T05:11:01.346577Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.335648Z","title":"SWE-bench: Can language models resolve real-world GitHub issues? InInternational Conference on Learning Representations (ICLR), 2024","venue":null,"work_id":"4dd5ae23-db25-4abb-8426-56948352b5cc","year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.350894Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:6099690b1882049c5ad1dfa84d74f285cda7c848021ea8eb413577b307c0cd01","observation_id":"62fb1da6-dedf-4b20-a561-13d5319856f1","resolution":{"observed_at":"2026-08-14T05:11:02.339555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.324177Z","title":"seL4: Formal verification of an OS kernel","venue":null,"work_id":"7f62c9b7-69d9-47f1-9182-15466e02f29c","year":2009},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.354581Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:ba4e96be18939ac82aedf149bc8b77c01fa328d35bc88c766c054598dbe566aa","observation_id":"92074364-6f9b-4b96-a7ff-223ece11440e","resolution":{"observed_at":"2026-08-14T05:11:02.328423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06209","last_updated":"2025-03-06T00:20:32Z","snapshot_observed_at":"2026-08-12T22:27:59.274879Z","submitted_at":"2024-10-08T17:11:24Z","title":"LeanAgent: Lifelong Learning for Formal Theorem Proving","version":8},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.06209","snapshot_observed_at":"2026-08-14T05:11:01.359174Z","title":"Leanagent: Lifelong learning for formal theorem proving.arXiv preprint arXiv:2410.06209, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.359174Z"},"links":{"cited_paper":"/paper/2410.06209","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:f969a08d81b64e1ec218f5479d6bb0e55f7626ae49777276c59ba57c13df3678","observation_id":"d755a24d-9494-4b37-99a0-1ea8b6d443ec","resolution":{"observed_at":"2026-08-14T05:11:01.359174Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.311508Z","title":"Verus: Verifying rust programs using linear ghost types.Proceedings of the ACM on Programming Languages, 2023","venue":null,"work_id":"6133a032-9bd0-47b6-bd36-ec372f67a000","year":2023},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.363437Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:1c37dc2b8cca505f7cd39996844b9278728289d0884aac807e61d10acc3d55ee","observation_id":"80c8ea5f-67bc-4fdc-8daf-aa8b62251c98","resolution":{"observed_at":"2026-08-14T05:11:02.316278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.298113Z","title":"Dafny: An automatic program verifier for functional correctness","venue":null,"work_id":"86459ed9-b495-494d-b18b-f760cf4367ff","year":2010},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.367204Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:3a5d9f4bfb5b4bd6277e00edce317b56a4711a59691eba3da48dcb74920d4246","observation_id":"cf7c9819-f799-4a46-83d1-759ceb527f40","resolution":{"observed_at":"2026-08-14T05:11:02.302318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11915","last_updated":"2024-10-10T16:13:19Z","snapshot_observed_at":"2026-08-12T23:41:36.610775Z","submitted_at":"2024-06-16T21:11:23Z","title":"miniCodeProps: a Minimal Benchmark for Proving Code Properties","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11915","snapshot_observed_at":"2026-08-14T05:11:01.371264Z","title":"miniCodeProps: a minimal benchmark for proving code properties.arXiv preprint arXiv:2406.11915, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.371264Z"},"links":{"cited_paper":"/paper/2406.11915","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:99b6013a24a5a664edc6bfb6af942277e249749b330874c281fe06da61dbb66e","observation_id":"a99012e3-3620-4f0c-83d0-122167a4ede8","resolution":{"observed_at":"2026-08-14T05:11:01.371264Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.285371Z","title":"DafnyBench: A benchmark for formal software verification.Transactions on Machine Learning Research, 2025","venue":null,"work_id":"fffb9cb9-14c3-4d10-975d-aea0ed68494e","year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.376148Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e433a489c9558a41bd1cf904c467494486712969834a8e8a71f2ebed2c5dd83e","observation_id":"7bada6c5-1032-425c-bddb-0e4bfd42b18e","resolution":{"observed_at":"2026-08-14T05:11:02.289806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.272963Z","title":"The Lean mathematical library","venue":null,"work_id":"9e633d9f-dc6b-482a-825a-c2bb6e4c6ef5","year":2020},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.379947Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:2c36fd316a38312750e2cb360fba10ff11e3546df3cedfa4a517b5b033aa89c7","observation_id":"5973f7c4-f51e-44f1-9d97-56e65961cc5e","resolution":{"observed_at":"2026-08-14T05:11:02.276976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.261391Z","title":"HACLxN: Verified generic SIMD crypto (for all your favourite platforms)","venue":null,"work_id":"79ec8ac7-3c8d-47b4-b3f2-6c58f6fd593e","year":2020},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.384076Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:b365c2d9a074123fb2fc8ecea92a6cd884259cf47750eb782d37c6c455aeb6cd","observation_id":"5ecd46ac-d7c9-42f9-9e9b-48dbc6436431","resolution":{"observed_at":"2026-08-14T05:11:02.265307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.248798Z","title":"Can large language models verify system software? a case study using FSCQ as a benchmark","venue":null,"work_id":"427b3660-584c-4ef7-84f1-59e1cf2d13a1","year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.387863Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:00580051d2b76f0ab896696eb9f8e6dfd7220b022b8a729be84b536e4bac60f6","observation_id":"7abc2521-c741-4440-8bed-2c0c63224193","resolution":{"observed_at":"2026-08-14T05:11:02.252971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2603.14628","last_updated":"2026-04-19T15:46:53Z","snapshot_observed_at":"2026-08-13T07:42:36.996374Z","submitted_at":"2026-03-15T21:55:59Z","title":"s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs","version":2},"cited_work":{"arxiv_id":"2603.14628","doi":null,"metadata_source":"pith","pith_arxiv_id":"2603.14628","snapshot_observed_at":"2026-08-14T05:11:01.843333Z","title":"s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs","venue":"cs.PL","work_id":"4aaea71f-506f-4be6-bf6f-0e01c0d583ea","year":2026},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.391627Z"},"links":{"cited_paper":"/paper/2603.14628","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:c54d7ae0bfd123bd5ef1c3a503af02b6e307175dea850c09354bc7f9cd32edf9","observation_id":"c333ace1-0b5e-4bf0-a515-edede4afe1a7","resolution":{"observed_at":"2026-08-14T05:11:01.847917Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T05:11:01.395856Z","title":"Quantifying contamination in evaluating code generation capabilities of language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.395856Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:7529f7ca800cb4d12d5d7dcc4258f578d761c8328d09bc7dffe69b375243aae1","observation_id":"059edb98-87a4-49bf-9074-8f772e40f8ad","resolution":{"observed_at":"2026-08-14T05:11:01.395856Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.230462Z","title":"Clover: Closed-loop verifiable code generation","venue":null,"work_id":"99a25b8c-2a05-4d77-8ec6-4515c89a6c8b","year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.399563Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:162469b94883b620527e1509a8d6340404ca25aa64d92f7cc0515a6a5f0a6262","observation_id":"841468dc-89b6-45f2-95a2-6ff3786895e2","resolution":{"observed_at":"2026-08-14T05:11:02.234634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T05:11:01.403492Z","title":"Clever: A curated benchmark for formally verified code generation.arXiv preprint arXiv:2505.13938, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.403492Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:d0004fc4ab698edec89311ed62c04c6102668032ce5875a609f3d39786d8248e","observation_id":"0d2be53d-e9c0-4213-a8f7-daf0c9984a42","resolution":{"observed_at":"2026-08-14T05:11:01.403492Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.219393Z","title":"Rango: Adaptive retrieval-augmented proving for automated software verification","venue":null,"work_id":"6e17cf8b-0c5e-4970-ac87-615c46ddb7cb","year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.407490Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:3191e35817fbf3e7384913ffa97be3075cc26d7fe371b3c5f062d8ee7f12cb46","observation_id":"989cef46-db36-4eb5-a27f-1f782b28a47b","resolution":{"observed_at":"2026-08-14T05:11:02.223573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2504.19110","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:01.771627Z","title":"Ape-bench i: Towards file-level automated proof engineering of formal math libraries.arXiv preprint arXiv:2504.19110, 2025","venue":null,"work_id":"82a1b98a-a052-4a51-9fe7-00b52b531836","year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.411380Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:cca114fa0d52f0eaca0b5e1806622ba13b571f1b84fa86a29f15fad0d45e4f02","observation_id":"5de29f7d-dd70-4655-a3ee-14e56339d350","resolution":{"observed_at":"2026-08-14T05:11:01.782776Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T05:11:01.414867Z","title":"Verisoftbench: Repository-scale formal verification benchmarks for lean.arXiv preprint arXiv:2602.18307, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.414867Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:4ce51dbd9f9bd894322bfbf95a0b0964cc38a94243e22ed9c7f819edcc30a886","observation_id":"492d9ba2-4c95-4c1a-8543-e08aa2bbd836","resolution":{"observed_at":"2026-08-14T05:11:01.414867Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.208244Z","title":"Autoverus: Auto- mated proof generation for rust code.Proceedings of the ACM on Programming Languages, 9(OOPSLA2):3454–3482, 2025","venue":null,"work_id":"8838e85c-7774-473c-937e-07d9a9f323ed","year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.418710Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:36af341d9033e53f009b950b64003a5edd2668387c18a1e30b1f2a2a3bbf432a","observation_id":"767cb3ed-9a7c-4548-86ec-9c2554ad1675","resolution":{"observed_at":"2026-08-14T05:11:02.212370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2512.18436","last_updated":"2026-04-15T16:44:49Z","snapshot_observed_at":"2026-08-11T19:04:57.128806Z","submitted_at":"2025-12-20T17:22:52Z","title":"VeruSAGE: A Study of Agent-Based Verification for Rust Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.18436","snapshot_observed_at":"2026-08-14T05:11:01.422403Z","title":"Verusage: A study of agent-based verification for rust systems.arXiv preprint arXiv:2512.18436, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.422403Z"},"links":{"cited_paper":"/paper/2512.18436","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e4e81ca52d01b8a9d010e69baa0ec31b9c44ec85ee53ceb0396064e25f6f8b79","observation_id":"1810284d-2eea-45b7-a2b1-b656c6d0c643","resolution":{"observed_at":"2026-08-14T05:11:01.422403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.15793","last_updated":"2024-11-11T20:01:15Z","snapshot_observed_at":"2026-07-06T18:19:29.996982Z","submitted_at":"2024-05-06T17:41:33Z","title":"SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.15793","snapshot_observed_at":"2026-08-14T05:11:01.426349Z","title":"SWE-agent: Agent-computer interfaces enable automated software engineering.arXiv preprint arXiv:2405.15793, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.426349Z"},"links":{"cited_paper":"/paper/2405.15793","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:9159cf126977c597f3ea1acf13da12bf7c1f247aeb1bd6492c4d95c97033d1f0","observation_id":"481e7c69-258b-4c90-bc78-1f97fdf092ef","resolution":{"observed_at":"2026-08-14T05:11:01.426349Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.194734Z","title":"LeanDojo: Theorem proving with retrieval-augmented language models","venue":null,"work_id":"061df4e4-0fdf-47ff-867d-e29f5072f985","year":2023},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.430573Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:8494dd8365bcc6520c0f95624712dd064d1febf10fdd57469950bda89cf9aaba","observation_id":"5f6cad89-95bd-42fd-b497-b24f4c5b0e4b","resolution":{"observed_at":"2026-08-14T05:11:02.200064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T05:11:01.435899Z","title":"Verina: Benchmarking verifiable code generation.arXiv preprint arXiv:2505.23135, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.435899Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:050267fcd258f6b35b6d5328d224d719e6492edaae438352110caefa05f52417","observation_id":"737c7552-f022-4fe3-9482-87fc1395851c","resolution":{"observed_at":"2026-08-14T05:11:01.435899Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.06296","last_updated":"2026-04-18T14:30:50Z","snapshot_observed_at":"2026-08-08T01:23:08.824973Z","submitted_at":"2025-10-07T13:19:05Z","title":"VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.06296","snapshot_observed_at":"2026-08-14T05:11:01.440212Z","title":"Veriequiv- bench: An equivalence score for ground-truth-free evaluation of formally verifiable code.arXiv preprint arXiv:2510.06296, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.440212Z"},"links":{"cited_paper":"/paper/2510.06296","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:7e02d54e95b6ac5f61436510001ed2d3229a145136300a717df3a6bed575d3a2","observation_id":"3f966e1e-4460-4e3c-888f-71c8077030e7","resolution":{"observed_at":"2026-08-14T05:11:01.440212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-08-14T05:11:01.444016Z","title":"Algoveri: An aligned benchmark for verified code generation on classical algorithms.arXiv preprint arXiv:2602.09464, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.444016Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e9005dc417b73fe280709fd22748f69fc0864f5b61eeb2cd6acdb09974e844bf","observation_id":"32488a48-c167-4da1-8484-a9101d8a2a4f","resolution":{"observed_at":"2026-08-14T05:11:01.444016Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.182105Z","title":"cp” = code-and-proof, “po","venue":null,"work_id":"d998b8c8-5486-434d-8230-9ca1191a191d","year":2025},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.448019Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:3d702f83f859f0fa9eecc564e7b71c730e1597a46c296264e119fbb2052b5c2d","observation_id":"ddcba3fb-a88e-4f09-ad22-6e5d40b420dc","resolution":{"observed_at":"2026-08-14T05:11:02.186181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.170080Z","title":null,"venue":null,"work_id":"9edba6da-e67b-4fa5-b47a-000365cfa675","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.452903Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e794b522f3d70764d08bd5047429a8c6247400c9ab69edef662696ce0262514c","observation_id":"df3a4314-02d8-4d1c-a976-be93505d2938","resolution":{"observed_at":"2026-08-14T05:11:02.174027Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.158495Z","title":"Those seven included spec_deposit_preserves_valid, the contract’s principal inductive invariant","venue":null,"work_id":"6cf30306-dc67-4244-96c6-63a52065b4d7","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.457071Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:13c4bb6c6fbd664f549ad2bd9b54c54ac6ccaa480ab4d5eea44466b66360e3e6","observation_id":"186499e6-4e3f-4340-8183-dc359e61719a","resolution":{"observed_at":"2026-08-14T05:11:02.162505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.146608Z","title":null,"venue":null,"work_id":"f6a8deb6-e8bf-4a85-8e16-909bddd00f5c","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.461107Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:2331a6a9f245fe0518d3311923cc2c6a0fa6ca12b22301d1617830f51b71817f","observation_id":"2552b3ee-d428-4a69-a37f-868e15ad0303","resolution":{"observed_at":"2026-08-14T05:11:02.150533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.132556Z","title":"It has moved into a named helper","venue":null,"work_id":"a902354c-b40a-4383-b631-9a3693f26040","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.464772Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:a70ece1e93fc3813914b859539f1564d4312bdcd3fa3d52a8309fe7731a975ef","observation_id":"ce9691c4-6185-4e67-8ebb-80edfa4604e3","resolution":{"observed_at":"2026-08-14T05:11:02.137734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.119401Z","title":null,"venue":null,"work_id":"9bf76ba7-cb22-46b3-acfc-c0ab49aa1481","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.470104Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e1234785cf24d882283f44148a16a4b24fadc7bd040629eeb9c2e727049bda6f","observation_id":"df21c087-9b26-41bf-b414-2beb3d2ab3eb","resolution":{"observed_at":"2026-08-14T05:11:02.124215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.106103Z","title":null,"venue":null,"work_id":"1186cfc3-5b4c-405d-b25f-5ceee080b168","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.474443Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:749e1c8da2bbbca52bc4c692c04bbe3559fa32e1d174dac97e7104f502a64786","observation_id":"f90feb21-2951-400e-9251-0cc4919c59e7","resolution":{"observed_at":"2026-08-14T05:11:02.110156Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.093742Z","title":null,"venue":null,"work_id":"492e13ed-b005-419a-b7b7-c592be54df0d","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.478666Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:e180a99124dee69b1675fa8c1d6da09440ef2fe1fb116a7fe83e3f8926d6a100","observation_id":"29bc3aed-6756-40d7-be87-a431bd2fa312","resolution":{"observed_at":"2026-08-14T05:11:02.097683Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.079824Z","title":null,"venue":null,"work_id":"a6557343-5088-44b3-a467-67a6012902d7","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.482357Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:a0a3f0cf338df9c75d58e4b720983ec53a164bc4b3ac16c098b90a636fd1accd","observation_id":"9925f445-dc16-4ede-8202-a9ffce0d1566","resolution":{"observed_at":"2026-08-14T05:11:02.084564Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:11:02.066637Z","title":null,"venue":null,"work_id":"d369654f-a655-4a5b-a0f1-11355ed02a7c","year":null},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.486804Z"},"links":{"citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:21b02eb5512521301a92b573c94ae366eba4a27cb27630068177be77a475daa7","observation_id":"7202beb0-2f63-472d-bc01-99e0d8ac5204","resolution":{"observed_at":"2026-08-14T05:11:02.071876Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-14T19:32:06.310453Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":2,"verified_fuzzy":22},"total_outbound_references":48},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2608.13522."}