{"as_of":"2026-08-11T03:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a752f7d9cb23ec7162e9e7233c2de9c8cfb72c470f6dcc930feeaaf8e57746d1","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-10T06:31:04.303077+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-05T19:36:53.627935Z","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:1903916271d7e5a2d347a0d8ce2ebce1f2f8b0ddaa4c399889a9783d86cc30c0","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-05T19:36:53.627935Z","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:59531c7ec393a37164fc17c7024286779d285f282e02d2e5b2bff00f7f321886","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-05T19:36:53.627935Z","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-09T07:37:01.517477Z","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:f8933a4b968bb69098ce331b59adbd2f30b1b61e880ad07ed9e2b36f26a554d0","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-05T19:36:53.627935Z","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-09T07:37:01.517477Z","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:059cd2af29fb6c2b720b86f223e695ead51c5226c033e75dcc8273fae7a1c71e","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-05T19:36:53.627935Z","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-10T10:17:48.013930Z","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:9bfab1c17c2890411c6f7f5a59a883ef09b2ed819238f05c0e71cabe2f3b84e9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:4f5304e927097bb920d217578e8701b790961d6de7f7ae1bf2dffea05837ac98","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:83d96a668c35488fee4f182879c1cac3318ef7fef029dfd7dfdbd61a52b753fd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:a7c48f6982fc94a04e5270e6d923149ae975cccdf3f90e62188cff9be6f972d0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:32d9c9edeb5ed1341c4b9dd56616d06f6929d69849bc162a5ff7cbed1dff7db6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:ebacc056d1dd1e07d85885f5fc7e0c3e5f2130170af69ef5cfe586b09c4cc2c4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:84384d93d616a205a0435846fb6138f0d9e0d989db886824077b168854f24eae","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:58d366f7572bfa0f6a1d94abd6aa059e1ec9dd9d60ddc72bdb50a5ae71b2db2b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:1728821890e679723cf8ad3d0629500e492cd14c38e0b6a5dea3a2f89a3ecf9b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:9b6b58842156bb1b64e74f31da1981a8820124f103f54b31d1ec01f69e286b2d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:473139aa8d7a472dc7279e117a8da73d4088354c40273c0d53878102a03efa00","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T05:03:09.113194Z","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-05T19:36:53.627935Z","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:1aa30a434572d632176021defd0ad0b38cd7183e6800299e1bee43511de825b0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:adf2acc59f155d1584477ced269d88141f3553bdda854a560f1d030ad912d7dd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:ea573fb08b1d514093ff676e05d02cc802141b05cc52eaeac99c20e039f52074","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:37f31f9472f8048482b7d128514385134c7f5bae43c01e0defdb787c43d51a80","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:a7fdea70d5eddaffe527d49228818d1a86970afb6bee058c3b0fc5a202b4b7ca","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:f92ae2384a858dff47945880645c732ea1e7c35e1bc2155596bb7e928198e836","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:f15369d30cecdb929941d670e125ec4a5cb950978764eed54500f4df42e9d7ad","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:88941fc012df11c59c6dec84d8a64f6c5300dbfeb0e1271553d5f7ee4aa8d36f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:a08169bf743598a1c667a9b6b1faefd5291d70c212e4900b77d82bf65aca25e6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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:bc361f3dabbd2c94f011eca03bbf36da48d7651637b82a19ee83e710a28f1d78","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T19:36:53.627935Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 5 inbound Pith citation observations for arXiv:2605.21434."}