{"as_of":"2026-08-17T03:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4300daa5cbee186ff4d8b149cae0e660445be73dff79b5d206199577a7dfcae5","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-16T06:30:59.297886+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-16T23:22:36.500733Z","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:60330f34827dc078cb1368beab012acf12e82a8d9edd954cf288bb0d2a788df4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T17:40:38.050939Z","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-16T23:22:36.500733Z","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:b9a3d95d17cca690c5eda66ed88fabe1922e43fd42a12d62368078fc554c0043","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-16T23:22:36.500733Z","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:004b76fc775a18acfeec276e54dd9612b4da64113bf781cf57b7b01591c787e1","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:d8625b25b0e691f3c0b690f65418e142980bf71ea1d6364b877632f21282ee0a","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-16T23:22:36.500733Z","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:a5c2cc371428b222358af9f929fb0e689e97eb7fe6cc07371bed05ed2f98f2d0","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-16T23:22:36.500733Z","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:5ccc9a8f6ca48b86b91dd43fe85519c22d8c9de990f78cee3d1dff80cb37031c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:96a5f34707fb64cbb48d45dbb5b17016d71c5bc91b1f0ba7626dedd9a305f158","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-16T05:29:26.323756Z","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-16T23:22:36.500733Z","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:ca1c08a74fa29b606da992f71c865de5c7fbbc3ff8dde053a9c427b81c30fea0","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-16T23:22:36.500733Z","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:378cc61de90154000dae462c9fae14204a1699b9d1b83559e92ce77e116da548","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:8da46a2ca6961aad32e5d5e82080d70f72873148ac85a1ffba24f8bfa3d77754","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-16T23:22:36.500733Z","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:338279cce347e499a3926360c3e668325a7e900a8d29c7dafcdff7c9dad2ca85","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:062c69d71c1403b2352183b7cecdf2443af0ca9faeea1b72f46a2730520fbf6a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:3eb41a276e60ea3415588aa119d22dff4935a7389e85c5bfa25d6b2b40021774","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T07:05:57.323612Z","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-16T23:22:36.500733Z","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:df0b362f5c4d9c58a6343ee1101e4a802b3bffb9a7b07cfbd68a36a8a83a571e","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-16T23:22:36.500733Z","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:6205fcc0221acb72ae43e95965ba23095640d3450dddfc83db98d90293c7ab92","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:b0e84272fbc1aaf0077209121de603f58c506ce6de01b2fe87c16ad69abfb6dd","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T13:11:25.426270Z","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-16T23:22:36.500733Z","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:144d648301633ccce9f5db4742528179b5b34dff87c47e9eb6fbe9cfc7b12646","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-16T23:22:36.500733Z","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:b09fddb91049baba3c9b4268ca154f5b2b78b439b72c5f2930bf4e94da305d00","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:7d2daf92266aed8754e2852925a692712e4491df3c17f4daeb20fff07c2b6548","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T13:42:29.028758Z","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-16T23:22:36.500733Z","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:55c248473d5c4944abc9dacc5cf91ec4b44ff611616fa914473286e88d559cf8","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-16T23:22:36.500733Z","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:8cbe94292472ab025e84ed20cfd0b187a660a994e47ba5481e78d58884ff83a4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:af72af990c25dbf8e736c1ccb064df086059694cd1169bd589822fa59f55de1d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:acf17fc1577efb50e01e7339d33b0b91619460bd476b126fca28b25178f8ddfc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:1409551290373cefc126a3c11b7eca3dbb5631f3f26e9b6d8a75988edcd7dc6c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:eb4d29264498325bd666e6ab2034033ed45718049b74fe7be30e1831a5546efc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:1a419aa21d165fcaf7980440ad7d6f86cc7fbb6c9343b2aba10db186fed0c53d","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-16T23:22:36.500733Z","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:4f72a468a8ede9ac81cdd55d483536431af1d0d5328297a2cafdc65232e135df","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:3f4926d9a232bf7eec8e732f7e5d01bcf5fb9f5930d93cd00e3ef1bf5ef25f6c","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-16T23:22:36.500733Z","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:a448b32a16bd09bf0805afc4d32451ebd286d8198d2bac7653692a3f14b1ecdc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:bb789fe785f8d312d6238cc3fe38d7c458687a810e64e0e9b5ef9bb869b0885b","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:97ff5a1cad92536c8ac0f5bfc6da8dbf661e6773071b618f41f52f888a943aa1","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-16T23:22:36.500733Z","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:4c69b19c984708a83c109aa7cd7fff1a3bbd3e1d403b7e7da936c0ade0f9fd93","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T02:29:04.432033Z","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-16T23:22:36.500733Z","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:d0a1981e4774160be405a9ac040c73ed8baa10827d0cb83eb31a2437efb3c964","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-16T23:22:36.500733Z","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:5bf952aacd05d99bf1561f65f2570bf6c4e98db0f607f4456b3e1ff64b60b5f9","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-16T23:22:36.500733Z","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:23d898d19f7eb0ac367bb6cc1c33b83f9015dc7514411760bb6bea52d635cdde","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:aa030491397524280378784dda334d0881fe8d6c5eaea56d1ab8e2aa36cf3b56","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-16T23:22:36.500733Z","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:bc59e8c826156e3a46f9ca720904b2fd108b8b40cd03a3b99dfad898e7a1675e","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-16T09:50:09.937362Z","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-16T23:22:36.500733Z","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:cec4074fef8a7a3a22489c8cabde9faa45f41e46d36e48951dc7110bba283fe4","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-16T23:22:36.500733Z","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:e6c06cbc9dd0c6cbd5964943c095112db9878e6ffdcd95a73d547e26ed7efe6c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:52127b1c03dc7d58916e92eb5160cac987853a89ad02c0db0641c8a723f87eaf","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:da10de5f93298f7cbb6e7c1704d09fee4446c4b4f4d393d575d23fefe7c5b7cd","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:946e3a7cee568e6c80d50832005b4598f95b2a723b490e4ccf9667d0335f8f6c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:4c240c733fe63c65c51ec6d7284d5c3566d963bb15e36135991d5f4aef594ef9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:b3bdded0bc29756bdc879c63c1a61f057bb291db0f8e30bae563b05c5f77d889","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:4155a366af8d87d0bfb8c1eeee92ced9ecfd70affa669580c03e112cccdefd56","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:9217ffdd2fdc7c8547fbd3f23081675e09cd80353c2171651cef88be1fe4133f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:1d4f84973e503cca2c4c6aa59bfcec9172d980588f193eed26b8f66bd129debf","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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:b802e842e1449ab22d4dcd5b363b9bd25d3923937d1a064352cd848c6ebbdb4a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T23:22:36.500733Z","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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2608.13522."}