{"as_of":"2026-08-09T20:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4dadbc03ec42a4947911fef97c8a42580bf4914993802fb91c182f2b22e15a97","coverage":[{"denominator":75,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":75,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T17:41:35.309802Z","state":"measured"},{"denominator":75,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":75,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2603.22114/citation-record","integrity":"/paper/2603.22114/integrity","json":"/paper/2603.22114/citation-record.json","paper":"/paper/2603.22114"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.079210Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.079210Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:a0538c67d9235b8f1785020e8dccc03e73d1bb42d353a0e5e6eb9052232e5cbb","observation_id":"7c7eda40-48c8-485b-9721-767362f1eac6","resolution":{"observed_at":"2026-08-02T17:41:35.079210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.086872Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.086872Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:85e5eb17fedb15539b7aa44d475d8e22806009d329d10b9de3d93714a077c40d","observation_id":"2c70d9dd-8521-4c56-b35a-d0d61b2deaaa","resolution":{"observed_at":"2026-08-02T17:41:35.086872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.090537Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.090537Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:d88b577b34a7c722a2a3e1cd52609c6c5f74b2ec9be76ea7674de26a61c52990","observation_id":"3d916dbd-20df-4f4c-bf83-b87a65ee33ac","resolution":{"observed_at":"2026-08-02T17:41:35.090537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.093832Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.093832Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:caa2fe1d2481ef422fba89d08fc9011f5fd60d702145f24f307896ec65149c07","observation_id":"f3dcf177-65e9-47ec-b836-256ce436250b","resolution":{"observed_at":"2026-08-02T17:41:35.093832Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.097054Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.097054Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2be75262aedb2326829fecffd9aebd486f728cd21bdc4f41904ea7d7262e5939","observation_id":"1771a368-4697-45d5-ae89-e84a6e5e33e0","resolution":{"observed_at":"2026-08-02T17:41:35.097054Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.100214Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.100214Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:91c38b47446dc7d1d481aa063d5d4bc59879c53253f0ab0a3357715d3768da32","observation_id":"eb77e29c-a609-4d1f-b411-652ca80ab14b","resolution":{"observed_at":"2026-08-02T17:41:35.100214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.103380Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.103380Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:dc4709b37931722854e551932d85fe58cde7205a0af6af364cd3b5c0e329f45d","observation_id":"00bfb3c8-7355-49dc-ab53-b777236e111f","resolution":{"observed_at":"2026-08-02T17:41:35.103380Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.106332Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.106332Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:8c7fa87cb0d99cd8df180a0692f94e07e1888f43d5eb2199bbcdb5258f72c13b","observation_id":"c9092af8-54ab-45b9-989a-2b0e602f20f5","resolution":{"observed_at":"2026-08-02T17:41:35.106332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.109043Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.109043Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2c1422e610cb3b4177a6861e6b59394f2d88f567c9f3f3ae93b0cb57bdb6ecb7","observation_id":"39d4905d-5853-4c79-a26b-0f24693fa924","resolution":{"observed_at":"2026-08-02T17:41:35.109043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.111802Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.111802Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:e400aedc00fccbbb5991a2addb920831eea131fbb5e9928589aa15e6cc9f7188","observation_id":"44dfd034-906f-425e-8320-741846b25588","resolution":{"observed_at":"2026-08-02T17:41:35.111802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.117954Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.117954Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:eeea4cf10d0e27137718240dc59cf0a64a3b87d99559eaacc67eeffb2b7bba28","observation_id":"ed3f94e7-07da-4e72-87f6-a70cb0616873","resolution":{"observed_at":"2026-08-02T17:41:35.117954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.120878Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.120878Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:9abdd0417330b045ac81db667cbb1c0a1ec45fc888c753623627e6bb868a01ff","observation_id":"bc4b01c1-4aca-44fb-972b-166c8a67ac57","resolution":{"observed_at":"2026-08-02T17:41:35.120878Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.124071Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.124071Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:eda7950f16752ac621d191ced294e995b04667d41d71dd16f55ea74549ee5c9d","observation_id":"3538a8e6-2c3a-4619-9b34-06372ba89449","resolution":{"observed_at":"2026-08-02T17:41:35.124071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.127011Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.127011Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:a97690c3d2ce2703309f88468a3b3b8d31763f9260ff9b6b8a2bfe1309ca5f18","observation_id":"30efb183-f9aa-4cfc-8cb8-d9c2d539f5c8","resolution":{"observed_at":"2026-08-02T17:41:35.127011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.129839Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.129839Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:9bfaf7c959f312b71bb83b23cc9878325e7756d5541f66906720e76a608fcd0c","observation_id":"47c33bbb-abf4-4da5-a224-0c82479a8766","resolution":{"observed_at":"2026-08-02T17:41:35.129839Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.132987Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.132987Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:a50a15eeffaf09159324d06b85ed6f02327f329ca5a36ba5a0e559c58039fc77","observation_id":"c86cbd32-0e74-4ca7-a020-0dbe7b2f90d4","resolution":{"observed_at":"2026-08-02T17:41:35.132987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.135907Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.135907Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:23351a41759ac5a9d049be1400ef83df943b6c83807657f630981a04ef31be37","observation_id":"96a28ddc-47a1-42ad-8b51-83da7266c4a8","resolution":{"observed_at":"2026-08-02T17:41:35.135907Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.139300Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.139300Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:96f2dd9d740cf24c3b8ccd8583d1275d1a13f87c888ad16c766f94a4d5750f95","observation_id":"d13e9ee9-15a8-4714-9220-f3bab94372b1","resolution":{"observed_at":"2026-08-02T17:41:35.139300Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.142310Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.142310Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2b15f7b7d1f93e447aa8f08ff300bdd6e3f57e95118b4d03c292721586c49acd","observation_id":"88047bd3-b72e-4dc3-b733-5b7182240660","resolution":{"observed_at":"2026-08-02T17:41:35.142310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.145398Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.145398Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:c8c719cf5ba69c520fd34887b8abc1df0b0403685e844dcd782653e3b4680b84","observation_id":"b61254c3-679d-4ab7-8d6a-2fcd364227a1","resolution":{"observed_at":"2026-08-02T17:41:35.145398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.148843Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.148843Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:e6df7eb6d91479da2e58e1273994bd0bedf49e4dacb486e74140c53d4167b961","observation_id":"21269a2e-31b4-4a78-9e47-9fd6a9928492","resolution":{"observed_at":"2026-08-02T17:41:35.148843Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.158685Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.158685Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:6c73609d6082e5f867630809c767fbf8a12ad74264d8ea51a915b041ab5baa11","observation_id":"f14ba84f-24da-466f-b599-804f061bb32b","resolution":{"observed_at":"2026-08-02T17:41:35.158685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.161898Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.161898Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:0a6e0cd5fcc86db6c3870d120382e7b858bfbedf26f2272d4dafd97463b4c218","observation_id":"6b229888-fd35-4619-9e11-070e2f74634d","resolution":{"observed_at":"2026-08-02T17:41:35.161898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.165239Z","title":"Rabe, Talia Ringer, and Yuriy Brun","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.165239Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:1259eae561ccb9bba95de17764174fe4c22682890c6c8c8c851d192fd54566df","observation_id":"50eb626e-63d1-42e8-9a27-59a6b119e5d2","resolution":{"observed_at":"2026-08-02T17:41:35.165239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.168777Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.168777Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:5b605f977ee123d0e09b4aa25fa75150b96bb1c4bde79194db821e0de8b4c201","observation_id":"01a603c9-8b9b-40db-96e1-8f03836b32f7","resolution":{"observed_at":"2026-08-02T17:41:35.168777Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.171593Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.171593Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:ede14c7079bc485004648b63aa81523e3b090c2a56cbf7d1ce91b029d3d4813a","observation_id":"dc0d5939-b5fd-4ff8-b0a5-1acfb0a7fa3e","resolution":{"observed_at":"2026-08-02T17:41:35.171593Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.174598Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.174598Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2c8d42442e2ab54c7ecda466cd2479994d294ae70df4a633aa975946324cab73","observation_id":"85fcd1ed-d71d-4dfc-a225-d3da6d007ac3","resolution":{"observed_at":"2026-08-02T17:41:35.174598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.177746Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.177746Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:13a9df514092dd1f77e118eeeb4bb9be21f903a687e40b4f947e74c2b335c94d","observation_id":"c49546e6-a2ba-4f89-90a1-0b30b97f5e0a","resolution":{"observed_at":"2026-08-02T17:41:35.177746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.180530Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.180530Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:ee15b4417d551aef0bde1cec4e5b72e5323a156f5f587442122494cf7705ae09","observation_id":"27892ccf-6a00-48d6-b026-08e219574baf","resolution":{"observed_at":"2026-08-02T17:41:35.180530Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.183448Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.183448Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2607e8ea38304f651be34b0e8127a7942f7a0800d0458cd3b2c2a715447c23fb","observation_id":"2d776e89-39fb-460f-b23e-5cf2a34d1365","resolution":{"observed_at":"2026-08-02T17:41:35.183448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.186950Z","title":"Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.186950Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:0a585a353988d8c25e150c97dbf9525df95c08e37d012ae99baff5d8b1ea7ab1","observation_id":"8ad02dd7-0054-4687-8933-8d57fdd3d7e1","resolution":{"observed_at":"2026-08-02T17:41:35.186950Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.189839Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.189839Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:a0b91f799d65376273b93966050ba744bc78ac3540001c29ece97d7aeb7ae1bb","observation_id":"9fdc5813-db3c-48b7-ab58-4ad546f3369c","resolution":{"observed_at":"2026-08-02T17:41:35.189839Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.05491","last_updated":"2023-03-11T00:58:20Z","snapshot_observed_at":"2026-08-06T18:17:03.387443Z","submitted_at":"2023-03-09T18:44:45Z","title":"Verus: Verifying Rust Programs using Linear Ghost Types (extended version)","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.05491","snapshot_observed_at":"2026-08-02T17:41:35.192972Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.192972Z"},"links":{"cited_paper":"/paper/2303.05491","citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:c63f2c806c6c1d4426c76e6f133b149f9866989097f44f0a080560557cee0b68","observation_id":"67affe20-cc8b-477f-85d1-59d57a002489","resolution":{"observed_at":"2026-08-02T17:41:35.192972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.196258Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.196258Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:1706cadcc178beef487689f23d540e0a1a1bcab5faa3cea9544c657f075370b2","observation_id":"f2776787-fbe9-4f24-9439-7e8ee64ef4e7","resolution":{"observed_at":"2026-08-02T17:41:35.196258Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.199138Z","title":"Rustan M","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.199138Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:970d17832179ece9c2b802cd453d6b8b115518889f362d53c8b1e8bd6d412073","observation_id":"655ebc65-0de5-403f-af70-75f4aa8b0c64","resolution":{"observed_at":"2026-08-02T17:41:35.199138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.202105Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.202105Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:9a7c4e0797a11bf3e8ad1a40bbd46364326d470466778e6b341bc3830fe2d54c","observation_id":"5b0fd3cb-61fc-4113-a324-699e3f16f857","resolution":{"observed_at":"2026-08-02T17:41:35.202105Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.205089Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.205089Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:063452102be8ccc82baca4d580907a92daa8ef9e116ac0752a84252e38103541","observation_id":"05924ede-1291-46cf-8522-d8300da9c9f7","resolution":{"observed_at":"2026-08-02T17:41:35.205089Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.207903Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.207903Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:e0a73c98ce45b014d4815719ab71a8e06cad05b5d45a16e033985b663379d108","observation_id":"8ac48aa7-f825-46e5-9d30-1efaddb9b480","resolution":{"observed_at":"2026-08-02T17:41:35.207903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.211192Z","title":"2025.Adaptive Proof Refinement with LLM-Guided Strategy Selection","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.211192Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:fa9960b59ebabe3e545b862446a8bc162cf0f0522e1e7f50ab3d07bff471d6da","observation_id":"f6bdebd1-0ffd-4d73-a9c4-0b9481564643","resolution":{"observed_at":"2026-08-02T17:41:35.211192Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.214490Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.214490Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:bebdc0ce95e1b7d34cd3d99703a51692be05f29c87175ab2c408f27813d30d2e","observation_id":"c154f615-4880-45a3-85bd-287e3f893f92","resolution":{"observed_at":"2026-08-02T17:41:35.214490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.217834Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.217834Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:51ca180bf6fa34d413fc6c7446280d7408856a8160a275700bfb017243d2f778","observation_id":"c0bb0bea-9561-406c-954a-83c275e3c652","resolution":{"observed_at":"2026-08-02T17:41:35.217834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.220758Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.220758Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2bede17aa08e456b42376124ea57c0972fe8e9a64247c5901d8eddbd2dce7510","observation_id":"128a906d-6131-45aa-8c5c-8b88cd583a65","resolution":{"observed_at":"2026-08-02T17:41:35.220758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.223613Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.223613Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:521a2f69906d3674dc77a3b3d69d452bb8e6809d742e09f27c8068135a022c83","observation_id":"1133d5d9-058c-415d-b344-3758aa87165c","resolution":{"observed_at":"2026-08-02T17:41:35.223613Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.226681Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.226681Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:414d804b3eeaebd00ae369f37bdd1283ae7be13f976edafadfd257a2fedee842","observation_id":"d474db8b-9cfc-4ac7-b58a-b0d72b292e73","resolution":{"observed_at":"2026-08-02T17:41:35.226681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.229421Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.229421Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:ec45a288685d3063beeac7b211e8fa58c2631d7fbb5aa74c9064c1edf0b29ebb","observation_id":"d38a6250-f837-49d2-82f0-924ffc2b078f","resolution":{"observed_at":"2026-08-02T17:41:35.229421Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.232285Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.232285Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:0f508f7cab781b07a63324a504ddcf70ea59edebe1b1eaa31e94f2adb1c9e0b7","observation_id":"4fed0d0c-fe24-4b79-8e57-d214afc8b769","resolution":{"observed_at":"2026-08-02T17:41:35.232285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.235144Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.235144Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:76f249435c45e069918afc47eaf70a6876200173b922268feeeba155c95b98e2","observation_id":"d6ae1b9f-a8dd-41a3-90c9-cd3baecb17a0","resolution":{"observed_at":"2026-08-02T17:41:35.235144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.237846Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.237846Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:9f5879099c497d43935e9cca9de8606917ae90019ec26b9eae532fcc86301a99","observation_id":"f9135290-d6b4-4b0f-9307-d4f0bf306b15","resolution":{"observed_at":"2026-08-02T17:41:35.237846Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.240786Z","title":"2002.Isabelle/HOL: a proof assistant for higher-order logic","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.240786Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:0c7e42f72397dff1f9b5e7c0c5a7a2fbb3c258abfb8239876e0254e60d81899f","observation_id":"e54d58f8-d182-4938-ad69-f56d31ac4a1e","resolution":{"observed_at":"2026-08-02T17:41:35.240786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.243659Z","title":"2025.Function Calling Developer Documentation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.243659Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:d0a7ac1945514427f4f5d9afd3c163569e40dcb366bd58c426e9b3445affc9c6","observation_id":"86bab81c-9ed3-4eb2-8e12-7899b4414bae","resolution":{"observed_at":"2026-08-02T17:41:35.243659Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.246573Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.246573Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:809933c108ceeb2ed2eaf2759ada6ac8a800a0871e24db2735d4c9515e9e1e2f","observation_id":"9e3ddbc7-5198-4dce-8baf-f473d208cc2f","resolution":{"observed_at":"2026-08-02T17:41:35.246573Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.249886Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.249886Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:66c1f5746b91bd7b98ba6a5a391733ed13fcea8c0529b660626ba95f4263e227","observation_id":"154ee69a-e75b-42e1-a923-3bc666094114","resolution":{"observed_at":"2026-08-02T17:41:35.249886Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.252765Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.252765Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:77ab50cb83481e5b99fff481ff07bc7de9d66b898fe589efd0a536cf28489212","observation_id":"b302f95e-47a2-4e12-ab27-607d976637fb","resolution":{"observed_at":"2026-08-02T17:41:35.252765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.255810Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.255810Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:846bc63bc862806a4f568ee01a3e4143bcb32e45765957f8ef1f6bd07a6a34bc","observation_id":"fcc95983-9ee0-4911-ae9e-fd23cbe0e28b","resolution":{"observed_at":"2026-08-02T17:41:35.255810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.258750Z","title":"2023.Formal verification: an essential toolkit for modern VLSI design","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.258750Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:e922730ae6001489a0a44bd0df49a360d1a80aa7548ddb7abd7458f259361968","observation_id":"e7391659-e7ab-4987-af5a-b812844cbec7","resolution":{"observed_at":"2026-08-02T17:41:35.258750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.261430Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.261430Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:54cffcebf2e71a8f3ec2c826e043b26cce41a8b665fe3aed76e3c110201b5670","observation_id":"115f1e9c-8801-4f68-9afe-2177190d565a","resolution":{"observed_at":"2026-08-02T17:41:35.261430Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.264487Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.264487Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:9fb938cc0a2bc2c755b6870b2bcf157af04bc2ed841397de733b9de7b0948325","observation_id":"4a9d235b-6ec8-44fb-a557-47addf74e709","resolution":{"observed_at":"2026-08-02T17:41:35.264487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.267285Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.267285Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:f2f587f3f070b17f733e137cd6c6a739f6d6ae5d9de5c55d214ed52b2c3b4294","observation_id":"9e0b8489-23e9-4a8f-8eab-609cd66d0730","resolution":{"observed_at":"2026-08-02T17:41:35.267285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.270100Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.270100Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:6b6ffaefd29318438b53598cd89f1d693823fd3d8b01aa8b6cfcfccad9b74d0c","observation_id":"d19ff3dd-220d-424a-afa8-6f80a420e8e3","resolution":{"observed_at":"2026-08-02T17:41:35.270100Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.272913Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.272913Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:83913d636bdcd75ac16b7ee239d64b8a9969a5c827a0420500cf83ceb95bf8d6","observation_id":"69ed2fc3-e511-4a63-9a0f-c16195ec431b","resolution":{"observed_at":"2026-08-02T17:41:35.272913Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.17330","last_updated":"2026-04-11T14:01:23Z","snapshot_observed_at":"2026-07-06T22:36:35.545474Z","submitted_at":"2025-11-21T15:51:48Z","title":"Agentic Verification of Software Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2511.17330","snapshot_observed_at":"2026-08-02T17:41:35.275681Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.275681Z"},"links":{"cited_paper":"/paper/2511.17330","citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:e037481052af48564172db764d6fce3a3bf6ba3f23383b1fa6a1dcfcef8783d1","observation_id":"eeb80859-35f4-4000-a662-5f8923a263ca","resolution":{"observed_at":"2026-08-02T17:41:35.275681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.278875Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.278875Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:6a1256a524efe3a2616d8ba5e6b7a62911ade2fe782a66f92c9c2d912b982653","observation_id":"a452500f-f9be-4f86-a5c5-a2918c56727e","resolution":{"observed_at":"2026-08-02T17:41:35.278875Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.285871Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.285871Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:9bda9e2e47efb450eb96e5889c215ee138cd2f85b1d63fa97e10cf77ad070498","observation_id":"a52ed682-3086-4cd0-aa2e-d3989d7c9a3c","resolution":{"observed_at":"2026-08-02T17:41:35.285871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.288905Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.288905Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:bd219ed9a6fd2846fc81556a8b57f830f7a1c4af9971a926740e1dd1839fbfe9","observation_id":"516cf76e-08a0-468b-a60c-a309f33eb180","resolution":{"observed_at":"2026-08-02T17:41:35.288905Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.291708Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.291708Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:1a783adc80d31aa77026484fd47a23a8e329bb8f7aeb4888507d133176928baf","observation_id":"6070b0f2-55eb-44d8-828d-d5340363328d","resolution":{"observed_at":"2026-08-02T17:41:35.291708Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.295003Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.295003Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:a31ed11c13ab874790f3aab2c79ead53dcbfb788512430446f78d3f324c819d9","observation_id":"6b0359f0-5f7c-41dc-961f-81c2625f309a","resolution":{"observed_at":"2026-08-02T17:41:35.295003Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.297964Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.297964Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:6ffb4675eaaeda79fdad257a342fd5aa674b2152a705981a02226a2059f70728","observation_id":"d6843a35-330d-47a9-b363-f04a2eb50b09","resolution":{"observed_at":"2026-08-02T17:41:35.297964Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.301108Z","title":"Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.301108Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:d0498e6bd45f97807970e660fbc18f26ed2a1d789d9f4095a33db345cba98d84","observation_id":"82ad8dc6-10bb-45bd-b22d-610477378774","resolution":{"observed_at":"2026-08-02T17:41:35.301108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.304147Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.304147Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:317347526a638d9b57a17e85cabc23b0f1a1b511081113ed02b875dd3e7ca641","observation_id":"e89f2c8c-fe5a-405d-b4fa-f048e6b8200d","resolution":{"observed_at":"2026-08-02T17:41:35.304147Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.306992Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.306992Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:dc94e0e0b4e6e61200e3a277be422ef716dbbae6953d73ac74b0aac248a18b83","observation_id":"ff0fb337-937e-4779-a943-933ac85f26ff","resolution":{"observed_at":"2026-08-02T17:41:35.306992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.309802Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.309802Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:7fa77415f72e4a724a3804cb3dedbe214837206d21c845e983db34fa14979375","observation_id":"02e3f808-f3b6-4855-802c-50fc8764daca","resolution":{"observed_at":"2026-08-02T17:41:35.309802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.083548Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.083548Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:2b7a406a8c11c8e4d74cb6ffaec0bb0ab93ee69609d70d0912f83e88fb42d39e","observation_id":"69b0c54d-1e59-4cc3-90a6-45afef83a7bb","resolution":{"observed_at":"2026-08-02T17:41:35.083548Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.114969Z","title":"InNASA Formal Methods Symposium","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.114969Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:57c7d108381bbbc5fbd4bf1c10cad7e172c1211711c076bb055ba57f23514b1a","observation_id":"e85262da-0b80-4515-b8f8-895bf8143a10","resolution":{"observed_at":"2026-08-02T17:41:35.114969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.152252Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.152252Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:74e68d1e868d1a779a00c18ce2fc8f1870f386a4a53413e2d1577495e135402e","observation_id":"8df50cd1-0c09-4b64-8244-1dadfbd2d7be","resolution":{"observed_at":"2026-08-02T17:41:35.152252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T17:41:35.282312Z","title":"ACM Program","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification","version":2},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-02T17:41:35.282312Z"},"links":{"citing_paper":"/paper/2603.22114"},"observation_digest":"sha256:13a12d67435131dec329f731830f2c534555e91af036d3206dfaabdafbafc558","observation_id":"79b37a95-cd8f-401a-b229-0c52a699883c","resolution":{"observed_at":"2026-08-02T17:41:35.282312Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.22114","last_updated":"2026-07-27T06:28:42Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T01:38:38.087992Z","submitted_at":"2026-03-23T15:42:07Z","title":"Automated Lemma Discovery in Agentic Program Verification"},"reference_resolution":{"displayed":75,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":75,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":75},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 75 of 75 outbound references and 0 inbound Pith citation observations for arXiv:2603.22114."}