{"as_of":"2026-08-17T17:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4f857a9f4e3c0e5f473f7c479a8bfc6bc2a6ae4a9d1238f9ef5682483dabfd57","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-21T03:09:12.230136Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T04:18:35.842791Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T00:39:17.003995Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.21434","snapshot_observed_at":"2026-08-01T02:47:53.555084Z","title":"Agentic Model Checking","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.25333","last_updated":"2026-08-03T09:00:50Z","snapshot_observed_at":"2026-08-06T23:32:33.852317Z","submitted_at":"2026-07-28T06:33:15Z","title":"Specula: Scaling formal specifications for autonomous model checking of system code","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T02:47:53.555084Z"},"links":{"cited_paper":"/paper/2605.21434","citing_paper":"/paper/2607.25333"},"observation_digest":"sha256:69664635e3aa991e6e78e48e0b0fad9cbd079b8f6550c3b1aa76ecd32932af5f","observation_id":"576706de-1bce-48d0-9977-a3b91b382641","resolution":{"observed_at":"2026-08-01T02:47:53.555084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.21434","snapshot_observed_at":"2026-08-04T03:32:08.833612Z","title":"Agentic Model Checking","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.25333","last_updated":"2026-08-03T09:00:50Z","snapshot_observed_at":"2026-08-06T23:32:33.852317Z","submitted_at":"2026-07-28T06:33:15Z","title":"Specula: Scaling formal specifications for autonomous model checking of system code","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T03:32:08.833612Z"},"links":{"cited_paper":"/paper/2605.21434","citing_paper":"/paper/2607.25333"},"observation_digest":"sha256:3c0f224be23b4bfedc01eeba68ef0615a0f43025fbee3c20be0e4a89cdb6397e","observation_id":"c837fbba-f2f3-44d2-af6b-7da95f9fc799","resolution":{"observed_at":"2026-08-04T03:32:08.833612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.21434","snapshot_observed_at":"2026-08-06T00:41:58.258941Z","title":"Agentic model checking,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-15T09:55:23.086155Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T00:41:58.258941Z"},"links":{"cited_paper":"/paper/2605.21434","citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:98d26810530b2d8bd3f4680f5858f6b825291652bd522a81421dea29361dcf46","observation_id":"21a39d47-444e-4ab5-98b6-5a90e3a0acfa","resolution":{"observed_at":"2026-08-06T00:41:58.258941Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.21434","snapshot_observed_at":"2026-08-06T04:18:35.842791Z","title":"Agentic model checking,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.01047","last_updated":"2026-08-05T04:00:26Z","snapshot_observed_at":"2026-08-15T09:55:23.086155Z","submitted_at":"2026-08-02T07:29:14Z","title":"VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T04:18:35.842791Z"},"links":{"cited_paper":"/paper/2605.21434","citing_paper":"/paper/2608.01047"},"observation_digest":"sha256:400652eac7a74077057edaffa09655fb517c568dfb3387f5836b74278fc1efde","observation_id":"1688b2a8-10f1-4cdd-aa15-fc708ddf2404","resolution":{"observed_at":"2026-08-06T04:18:35.842791Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"cited_work":{"arxiv_id":"2605.21434","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.21434","snapshot_observed_at":"2026-08-06T00:39:17.003995Z","title":"Agentic Model Checking","venue":"cs.SE","work_id":"350eb819-252d-4e1d-aa40-d20a15d85fc1","year":2026},"citing_paper":{"arxiv_id":"2608.01050","last_updated":"2026-08-02T07:32:49Z","snapshot_observed_at":"2026-08-16T06:19:28.417717Z","submitted_at":"2026-08-02T07:32:49Z","title":"Don't Offer What Can't Be Done: Deterministic Executability Gating for LLM Skill Selection at Scale","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T00:39:16.559030Z"},"links":{"cited_paper":"/paper/2605.21434","citing_paper":"/paper/2608.01050"},"observation_digest":"sha256:09b464efd963555782ea6d6cf83c215896666372e7bf9569e51bb73ebd83735e","observation_id":"72d6a631-12f0-4bab-9ae3-35ff1f3f0c73","resolution":{"observed_at":"2026-08-06T00:39:17.112387Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.21434/citation-record","integrity":"/paper/2605.21434/integrity","json":"/paper/2605.21434/citation-record.json","paper":"/paper/2605.21434"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"https://github.com/kaansenol5/VibeOS","venue":null,"work_id":"b23c1361-dec0-4ec4-9ace-edabb68b4fea","year":2026},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:31b62f74f87f5efa42e3361bedfced7229568b2fa46645071d652ee51d663b54","observation_id":"4196e8ab-1dfe-43aa-a910-98ed7551e2a1","resolution":{"observed_at":"2026-05-21T03:09:28.211781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Automatic predicate abstraction of c programs","venue":null,"work_id":"8c1b405f-63d3-462f-86fb-dec647438e83","year":2001},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:c1e4b53ffb44a8747bd882ee20436fffcc22acfbc6eae1a7d1c6a87af4c3a049","observation_id":"9fb90f78-428e-4f34-92e4-b4a571a0c5f3","resolution":{"observed_at":"2026-05-21T03:09:28.208792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Thorough static analysis of device drivers","venue":null,"work_id":"67e152d8-fbb1-4081-aa56-6e956f92e25e","year":2006},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:c72939b1b6ad57787069871d2c8977b5c4e3e1085eaf4e1d8f29239bc210faa0","observation_id":"aabfd2bb-ee4a-4b61-ab7e-fd78755e8442","resolution":{"observed_at":"2026-05-21T03:09:28.206887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Symbolic model check- ing without bdds","venue":null,"work_id":"8e366576-3661-4ff9-bc0d-2a3b8569c781","year":1999},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:bff0dfbc531143ed34703b334ab49e2e436aeaed419933e58d4dcd821203e30d","observation_id":"648e2cec-c58d-490c-98ed-8e660f873869","resolution":{"observed_at":"2026-05-21T03:09:28.204765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","venue":null,"work_id":"a0850dc7-3342-45e8-847b-3e8cff92509e","year":2008},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:b368392c2ac89e21ec7da00e96193e5efdee102d72765ba6c6250a362112ed4d","observation_id":"236e3b19-24c5-4fec-9eca-bee3fdb12a32","resolution":{"observed_at":"2026-05-21T03:09:28.218664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Smatch: Pluggable static analysis for c","venue":null,"work_id":"6201dd4b-997b-4a00-8126-bfdb8408a415","year":2016},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:5fe6ba6f95f826edd8c53c8f7a86f03deb5adacda58ee8da1241953079eb6634","observation_id":"ee57287c-cc46-4964-99a4-3d6c17195937","resolution":{"observed_at":"2026-05-21T03:09:28.202097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Modular verification of software components in c.IEEE Transactions on Software Engineering, 30 (6):388–402","venue":null,"work_id":"f2e04c7d-db19-4c91-aceb-33d504adce12","year":2004},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:0ddf3e1b1e65a5dbe1d21ec2c36675ed410306a1cf2865461e69a0b0adb6a558","observation_id":"d21f52fb-3ad2-4708-9468-f2a69e132158","resolution":{"observed_at":"2026-05-21T03:09:28.216470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Counterexample- guided abstraction refinement","venue":null,"work_id":"2174ccad-f6a7-420a-8240-96f3b81406b8","year":2000},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:755c279e78e119dcf37f33381cffe7dadacacd5c8dbb0bd4ee636ef67564292d","observation_id":"bee88781-ca96-461d-b9ae-5b2a763834bc","resolution":{"observed_at":"2026-05-21T03:09:28.200046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"A tool for checking ansi-c programs","venue":null,"work_id":"80bfa955-39d9-421c-922e-34d96abcb26b","year":2004},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:13eabd0dff3b75bb2d1d26cc462d571de7600d59d019d6c191ff49996c2a8e3e","observation_id":"eb4b63e8-1ff6-4161-a29c-4968c577cd67","resolution":{"observed_at":"2026-05-21T03:09:28.214224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-33826-7_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Frama-c: a software analysis perspective","venue":"Lecture notes in computer science","work_id":"a2443736-4749-4a14-875a-34908930f8b1","year":2012},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:7a45af83139e194cdb01202f424d994b851c3ad460e1190ef1c58d67e1332fff","observation_id":"ede206e8-afb8-4f22-8855-742c0d9d6db5","resolution":{"observed_at":"2026-05-21T03:09:27.319140Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.11556","last_updated":"2026-06-18T16:56:08Z","snapshot_observed_at":"2026-08-11T12:58:13.320287Z","submitted_at":"2026-04-13T14:42:44Z","title":"FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning","version":2},"cited_work":{"arxiv_id":"2604.11556","doi":"10.48550/arxiv.2604.11556","metadata_source":"pith","pith_arxiv_id":"2604.11556","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning","venue":"cs.SE","work_id":"4f75f30d-38bb-4683-b16a-669b2cc28f03","year":2026},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"cited_paper":"/paper/2604.11556","citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:a7fd9351f5690e947ced8f89ad93ba499b99bb38e8e12225d0bbea9abae846c7","observation_id":"3022e2ba-5a0b-45aa-a39f-675db1a1e468","resolution":{"observed_at":"2026-05-21T03:09:28.038114Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Lazy abstrac- tion","venue":null,"work_id":"dae03a4e-08b4-4417-8527-aad946c57b48","year":2002},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:36684d0e834407e0c38d6f3a993ff2473ebc3eb69e03467e9b8d6d6efe21b423","observation_id":"d1d7e6ee-f04f-4cb4-89bd-79c028348425","resolution":{"observed_at":"2026-05-21T03:09:28.197895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Enhancing automated loop invariant generation for complex programs with large language models.Science of Computer Programming, page 103387","venue":null,"work_id":"f8af656f-299c-4ec6-86b7-1d979b9a6026","year":2025},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:9ec65f681414aaca838d0da312d666e65f6842f09edb19c8fd73f3d5e676ee12","observation_id":"3f9dc291-67aa-44d8-a9a4-5ecb04764623","resolution":{"observed_at":"2026-05-21T03:09:28.220806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1301.335964","doi":"10.1145/3341301.3359641","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Scaling symbolic evaluation for automated verification of systems code with serval","venue":null,"work_id":"94690e6f-977d-4a37-8b0c-a6bd152e93cc","year":2019},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:d017e21acc9bcb26dd70223e3291424f35d3a6af7d9752f94717bb5cb6e8d74b","observation_id":"3b0c22a8-49d0-4df3-b49e-9844fedce5c6","resolution":{"observed_at":"2026-05-21T03:09:27.313953Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Veri- fying dynamic trait objects in rust","venue":null,"work_id":"3d3f6771-ef07-43e1-9d39-6b4b6a3b0e60","year":2022},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:4e52bf2041cddb43163e8b86dbc01d946ef704de22c08d38bc6bd814272802dd","observation_id":"c7ef6932-5d4d-4996-b994-f1e65f4a6531","resolution":{"observed_at":"2026-05-21T03:09:28.228993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification","venue":null,"work_id":"1371924d-487e-4058-9e96-22849809c795","year":2024},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:b51911867a8f46e0d56b1387462bec2223c071cbef4eacc96f33d50016c036a7","observation_id":"116c6572-8e6a-451c-9027-d39985302dab","resolution":{"observed_at":"2026-05-21T03:09:28.230947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Lemur: Integrating large language models in automated program verification","venue":null,"work_id":"f9073a7c-dbac-4976-be01-8d3ed246ca82","year":2024},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:aec2f26c0040206420aef11f7dcfa2466ee723aed4ae55ea017cf3ffeb6ccb18","observation_id":"6b2c7966-1611-4f88-9abd-1612a7a0f184","resolution":{"observed_at":"2026-05-21T03:09:28.232929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"React: Synergizing reasoning and acting in language models.ICLR","venue":null,"work_id":"3052402b-89cc-4188-a056-f838cd9c24c3","year":2023},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:b5f5697aa3f3d548169b997172c9dba49975dd15c5011ad5b3c9edbca3b6dc16","observation_id":"dda498d5-5d88-40b6-ad17-20133162f5c0","resolution":{"observed_at":"2026-05-21T03:09:28.226971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"444c7af6-fe17-4f2c-b5ee-06d9a5dd34e9","year":null},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:3cd5dbbbf437de880002bdb96453d9fc3b63aa362b5167397077352313e88921","observation_id":"11b75cca-4b9f-401a-9388-042df4f68115","resolution":{"observed_at":"2026-05-21T03:09:28.222794Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"/ \" , & rest ) ) != NULL ) { 9if ( strcmp ( token","venue":null,"work_id":"b63b70a5-9d0a-4f2d-a7f4-4b919cc73be8","year":2010},"citing_paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-21T03:09:12.230136Z"},"links":{"citing_paper":"/paper/2605.21434"},"observation_digest":"sha256:475c532b5bbe3d404b57d145b0ef8bef36bd3e380a0defe3fdd32f9392cbcdd6","observation_id":"606a3973-74b4-4399-a6d2-90cded354120","resolution":{"observed_at":"2026-05-21T03:09:28.224783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.21434","last_updated":"2026-05-20T17:25:52Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T21:20:52.290122Z","submitted_at":"2026-05-20T17:25:52Z","title":"Agentic Model Checking"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":3,"verified_fuzzy":16},"total_outbound_references":20},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 5 inbound Pith citation observations for arXiv:2605.21434."}