{"as_of":"2026-08-08T22:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1348b1a3d464e942560cc7ae8ec79c1669afd64ec4d6cf4647e93023a457eef7","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T04:51:20.197683Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2607.27606/citation-record","integrity":"/paper/2607.27606/integrity","json":"/paper/2607.27606/citation-record.json","paper":"/paper/2607.27606"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T04:51:20.082275Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.082275Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:5372b7c2bf23069991d7bbc2b73c243dd9135bfb979c91d6ece2cf4df4dae726","observation_id":"35fede3b-6351-457f-b860-ba5922463c4b","resolution":{"observed_at":"2026-08-01T04:51:20.082275Z","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-01T04:51:20.085942Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.085942Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:e6215440035b936f60a24d9f6d2d30eeeaf0072f06520d355aee2505e11dc026","observation_id":"78b8d525-b910-46cd-ad79-f57644c54616","resolution":{"observed_at":"2026-08-01T04:51:20.085942Z","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-01T04:51:20.089004Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.089004Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:487512a34332086cd7402aacae686f2e0c987666d52cc973d07c3ba950551d8b","observation_id":"4f6a1976-856e-4a98-8036-c4a734f141c6","resolution":{"observed_at":"2026-08-01T04:51:20.089004Z","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-01T04:51:20.092015Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.092015Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:7456dfb7fcffa6e82187db975acc7bb36a0efdf045dce933ebf5b9c8e19bcd01","observation_id":"130d3e7d-5898-4ae3-86f7-2d52f6642b82","resolution":{"observed_at":"2026-08-01T04:51:20.092015Z","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-01T04:51:20.095075Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.095075Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:f440c2c303b5a320dc54c1eec623a06fc3115b894e6abc6d1659ac3d13807905","observation_id":"0414fa0b-59ed-43d5-9481-02ce390d956f","resolution":{"observed_at":"2026-08-01T04:51:20.095075Z","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-01T04:51:20.098081Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.098081Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:d5a883e892f5a04d9fcbe2e068ecf958ee418af3b4ba1d5a1929161b84bbeb62","observation_id":"b766be15-859d-4c63-bada-0f95f5b5fbdd","resolution":{"observed_at":"2026-08-01T04:51:20.098081Z","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-01T04:51:20.101067Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.101067Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:5e19e3f58cf28dfd451402efebe8ca08b700f83e5576aa70b23fff3fdb4f2d5a","observation_id":"d07d1462-1c62-42f8-aca0-e562fda4d402","resolution":{"observed_at":"2026-08-01T04:51:20.101067Z","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-01T04:51:20.103866Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.103866Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:41b73f95f0a412769bdcab9cae3e982a3822fa85c4e9228bb8e52d119e2eef1d","observation_id":"9cfbc9dd-27a1-4c26-bd60-155bc506e692","resolution":{"observed_at":"2026-08-01T04:51:20.103866Z","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-01T04:51:20.106472Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.106472Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:ed756ea5c3ddf8791188cf1d5b9d3d51baa98c2b001c266eb812ac922a911458","observation_id":"f1649998-3828-49c4-9312-41b3288049ec","resolution":{"observed_at":"2026-08-01T04:51:20.106472Z","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-01T04:51:20.109024Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.109024Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:8c1cb8b5d160325e1b16221c045ee9df9b781280dff161b96f95231454b006b9","observation_id":"33b8af07-c557-420a-9c69-fc51519980ba","resolution":{"observed_at":"2026-08-01T04:51:20.109024Z","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-01T04:51:20.111643Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.111643Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:a86392a66d3304a826ab0883293582e1dc3ba44d221ce66cf86ead26ed489a43","observation_id":"0da59df5-ff31-4df7-8ab1-b3813ef5d723","resolution":{"observed_at":"2026-08-01T04:51:20.111643Z","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-01T04:51:20.114175Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.114175Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:eecbfacd4dc18ba85104dc78d6ab998d7134797f89cc14c5351bfd4dcdfbc752","observation_id":"95b381c8-ff35-4ec5-8f9b-812bc6e05c07","resolution":{"observed_at":"2026-08-01T04:51:20.114175Z","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-01T04:51:20.116928Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.116928Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:8da5785ffc767eddda40f21655719821d76910ed2536316d5fc9346afe0f4287","observation_id":"3942377b-13a5-46c3-ad8d-23062c49568b","resolution":{"observed_at":"2026-08-01T04:51:20.116928Z","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-01T04:51:20.119644Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.119644Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:4cefcf5d1b41b77a3b171ece863d61b3d6f227414ffe5fadffde6cbde1af4be9","observation_id":"dd32a604-e29f-4390-b797-ff85240d5610","resolution":{"observed_at":"2026-08-01T04:51:20.119644Z","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-01T04:51:20.122188Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.122188Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:738e95e75d7ba9241bd5001a27f84388beda008a3a45700338305099371504a0","observation_id":"5ffe0f63-ec8d-4225-ad17-34e7bb167433","resolution":{"observed_at":"2026-08-01T04:51:20.122188Z","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-01T04:51:20.124899Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.124899Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:70d563b9a2a3d58dcefa012cc6ee36b1bbbedb5b6238d6a02292eb9ed7c56091","observation_id":"ef604f51-07e9-4ab9-b8a0-a7e13cc79d30","resolution":{"observed_at":"2026-08-01T04:51:20.124899Z","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-01T04:51:20.127585Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.127585Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:964992981a5032e4dec4aba15e17724aa6c5cb9cd68bcf14fa550ea077de2911","observation_id":"56a81782-b78f-4ad3-88b6-1293b587506d","resolution":{"observed_at":"2026-08-01T04:51:20.127585Z","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-01T04:51:20.130200Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.130200Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:f468f041e89a6b95820c51aa7817918bb5222700ce41713f4450a35ef46e9be3","observation_id":"fdd55cb6-e4a7-4770-82bf-a157e72ff0cc","resolution":{"observed_at":"2026-08-01T04:51:20.130200Z","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-01T04:51:20.132712Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.132712Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:988ddb293067da0439e7f290621a93bd8423122627c961fbac7f53b1b229c06a","observation_id":"2d4fd99a-73d2-45cf-b47e-2d04fa7d4602","resolution":{"observed_at":"2026-08-01T04:51:20.132712Z","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-01T04:51:20.135240Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.135240Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:48b7745ca2793066be056995634ffc52fa1e2d637ecee123e54aa9c3da9a1014","observation_id":"4c6ee2a4-285b-4776-bdca-89518da22b12","resolution":{"observed_at":"2026-08-01T04:51:20.135240Z","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-01T04:51:20.137931Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.137931Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:bbda7f59dcd51f00694fcdff80c8777be6e0b407a2c5fe4646e2fb74b04a007a","observation_id":"3992abce-c731-448e-87bd-58202e7ccb0d","resolution":{"observed_at":"2026-08-01T04:51:20.137931Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07948","last_updated":"2023-11-14T06:58:09Z","snapshot_observed_at":"2026-08-08T21:04:54.404700Z","submitted_at":"2023-11-14T06:58:09Z","title":"Finding Inductive Loop Invariants using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07948","snapshot_observed_at":"2026-08-01T04:51:20.140358Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.140358Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:976a796f4bdb6066fc045c1541343fd55ed4be7c6cf2ccf6e9fd3deabd9403ef","observation_id":"0f36d5b9-4412-46ad-8070-12bc3a69d54c","resolution":{"observed_at":"2026-08-01T04:51:20.140358Z","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-01T04:51:20.143121Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.143121Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:8720c6da46642c4511334ffd0e6cabe49dd4aa4b4ab394ee04dcac59f59c9974","observation_id":"f4dc4aad-ebfe-47de-abbd-eaeae598798a","resolution":{"observed_at":"2026-08-01T04:51:20.143121Z","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-01T04:51:20.145540Z","title":"2012.Temporal verification of reactive systems: safety","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.145540Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:be81d5e1b4edd3ca979c3a06746fbb49926a617681ea5a5c4064fe45170713b2","observation_id":"42766d91-7c16-4956-923e-d60435ecf577","resolution":{"observed_at":"2026-08-01T04:51:20.145540Z","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-01T04:51:20.147904Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.147904Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:751c60ab13f598559d6fb388bbb0d74508810c0e12360c6682fcf523f9113d89","observation_id":"67dace33-a8a5-4b1f-b676-e4c98b02fc15","resolution":{"observed_at":"2026-08-01T04:51:20.147904Z","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-01T04:51:20.150502Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.150502Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:8aa798fb6593c8cd59f7d4e1984288ec4ebb451d3830d2d08e9940c10da02564","observation_id":"4ccc7b87-998e-4d58-a839-f41a1ba3d5fb","resolution":{"observed_at":"2026-08-01T04:51:20.150502Z","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-01T04:51:20.152910Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.152910Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:b2b50ff91c928f17cd834f3dd9ab1801c30fd935cd8a7cb21f4ea16bd9835d1c","observation_id":"836dab6d-9030-46a9-b0d8-dbd85dcbbdb8","resolution":{"observed_at":"2026-08-01T04:51:20.152910Z","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-01T04:51:20.155371Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.155371Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:9d2dd3f9a4ca31f06a306ec6153f3fd6000425a6cb027a1dc4cf649bfb8819f8","observation_id":"282dc7a2-6e7b-47fd-893a-dac1df298bd5","resolution":{"observed_at":"2026-08-01T04:51:20.155371Z","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-01T04:51:20.158013Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.158013Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:41c3bf76be3a72642060ec34210b12053776682407b360e9b95e00e38dcc8b81","observation_id":"8dfd7cf8-16c0-472a-8477-99c52fa80736","resolution":{"observed_at":"2026-08-01T04:51:20.158013Z","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-01T04:51:20.160449Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.160449Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:2d7651968de843a8fa8dc692d02576ee86ffaa6e18f9197799f9125cb5db110f","observation_id":"1150c278-9977-4608-9ff2-50c728f84a15","resolution":{"observed_at":"2026-08-01T04:51:20.160449Z","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-01T04:51:20.163149Z","title":"2025.aeval-benchmarks","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.163149Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:3fa72d39daa719814d929d0cd32f6f6c0c40019b55f6f296d041854a84bc4325","observation_id":"4dc7881d-4843-49f3-80e2-767961465828","resolution":{"observed_at":"2026-08-01T04:51:20.163149Z","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-01T04:51:20.165737Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.165737Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:c0755050ad25559e08447969b4e985f8224415483140802ebdc6b8d555c8d14f","observation_id":"65beb1e9-e9a0-462d-89e4-82d4f0ffa1c6","resolution":{"observed_at":"2026-08-01T04:51:20.165737Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1909.11542","last_updated":"2019-10-17T16:07:49Z","snapshot_observed_at":"2026-07-06T08:24:32.545342Z","submitted_at":"2019-09-25T15:05:02Z","title":"CLN2INV: Learning Loop Invariants with Continuous Logic Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1909.11542","snapshot_observed_at":"2026-08-01T04:51:20.168266Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.168266Z"},"links":{"cited_paper":"/paper/1909.11542","citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:8925f96b39032c07d5bc6c33f37ad78672845ce621381ebd16974d9dac45e1db","observation_id":"603a4f74-6b4c-4cee-9813-9160a600d9bf","resolution":{"observed_at":"2026-08-01T04:51:20.168266Z","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-01T04:51:20.171181Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.171181Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:51ef0750c106d8ce72262aa5b900c015f45d1b20a11f40114546321229ea7db9","observation_id":"b0cc3c4c-dc69-47d7-b8fe-371f08f418d8","resolution":{"observed_at":"2026-08-01T04:51:20.171181Z","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-01T04:51:20.173621Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.173621Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:260009cf93a403afc407316fc8c2313ca1a7d548eb1eb39c2da1ae0b65a536ad","observation_id":"5f66b7ea-5975-4cc5-b065-0c3f66eed780","resolution":{"observed_at":"2026-08-01T04:51:20.173621Z","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-01T04:51:20.176133Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.176133Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:2af2af286ce25ec6d3013ba81f767066b71ad5a8174376d8b5446ee6d347a8ed","observation_id":"99abfa9e-3954-4787-8716-24d5256824a4","resolution":{"observed_at":"2026-08-01T04:51:20.176133Z","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-01T04:51:20.179096Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.179096Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:4006a3884f29a5909300691eab25195e40c4847da1d5310046daf6b9fd700636","observation_id":"b5237a5d-ca56-4a73-bcb6-180fe59dc90b","resolution":{"observed_at":"2026-08-01T04:51:20.179096Z","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-01T04:51:20.181829Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.181829Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:04df1f954193b1c55a91b9076d875c9f9ec4c1e585246d0bd23ae8f4dfc8be61","observation_id":"5edae0be-c1cf-423f-8672-4f0d67e3278f","resolution":{"observed_at":"2026-08-01T04:51:20.181829Z","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-01T04:51:20.184438Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.184438Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:99a3b7277e9e382ecd0c87a837f4072bd437f6a3d9a21080ad8d4148a79a711b","observation_id":"26ac4caa-1b69-4cc6-8d26-a00aab8860f9","resolution":{"observed_at":"2026-08-01T04:51:20.184438Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-01T04:51:20.187024Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.187024Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:b6a48f2a2ebb3d31bc68d3f37543504a76ac01e01601c802e9bda83f2a994b3a","observation_id":"e78f1aec-8bd8-41e1-92c5-7f7ddd8ca22a","resolution":{"observed_at":"2026-08-01T04:51:20.187024Z","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-01T04:51:20.189949Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.189949Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:a178e147217867e6d38e0e9b50d319a83627c46303d7b5ad914d948665cb9ff6","observation_id":"13149338-a3f2-49a2-9355-115db4e020a3","resolution":{"observed_at":"2026-08-01T04:51:20.189949Z","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-01T04:51:20.192563Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.192563Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:b8f3ebae5f58c55f7bb5b8526aeeaa63b17b4789b8556c6f972b3f26f7030db7","observation_id":"850dd3eb-6688-4f52-8487-167dd53b4fd3","resolution":{"observed_at":"2026-08-01T04:51:20.192563Z","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-01T04:51:20.195173Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.195173Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:0573206a0f624adf6992666c3aed07365624fd0016e2823bad9ef76d869ecf37","observation_id":"06145911-2150-465c-b743-ab303b8e7141","resolution":{"observed_at":"2026-08-01T04:51:20.195173Z","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-01T04:51:20.197683Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T04:51:20.197683Z"},"links":{"citing_paper":"/paper/2607.27606"},"observation_digest":"sha256:fbe402d6d1f52f589f05bd6bdc08846257e6c427037e2f02dd5909e0970248ec","observation_id":"af4a294b-5148-4deb-9be2-b067166a4fde","resolution":{"observed_at":"2026-08-01T04:51:20.197683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27606","last_updated":"2026-07-30T02:50:09Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T00:54:07.159856Z","submitted_at":"2026-07-30T02:50:09Z","title":"LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":44,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":44},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.27606."}