{"as_of":"2026-08-08T23:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:98f7be2047d450b659695b22f2f3c2c25e2309542bebbded7857a31f3304df05","coverage":[{"denominator":69,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":69,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T21:50:15.833209Z","state":"measured"},{"denominator":69,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":69,"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/2511.13663/citation-record","integrity":"/paper/2511.13663/integrity","json":"/paper/2511.13663/citation-record.json","paper":"/paper/2511.13663"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:50:15.554185Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.554185Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:9514aef6d47eecc88b192625ed9c1c4bf9cf0376ac22400bee362f61e7efa0fa","observation_id":"3b639288-eded-4088-bc39-3ecc668501ba","resolution":{"observed_at":"2026-08-03T21:50:15.554185Z","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-03T21:50:15.558957Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.558957Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:275723e5f78776bd3a4534f65d1950287dca6f3b4a994b331fe9cbb2b66701b3","observation_id":"64567f85-54c7-4a78-9e51-0732f046327b","resolution":{"observed_at":"2026-08-03T21:50:15.558957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-03T21:50:15.563422Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.563422Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:ec46c749153adb5479565521f276ed58071a6795f6b0821c3e04580bd1c00437","observation_id":"8717ddf6-f931-4ba6-b1cf-01151770574e","resolution":{"observed_at":"2026-08-03T21:50:15.563422Z","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-03T21:50:15.568107Z","title":"2002.Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.568107Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:6ba27aad92a9cb4ec1f625ba65dcd51380cad035611a1adc0cd60af3459046f3","observation_id":"79a8505a-8a7a-4de6-802a-71a653321fd9","resolution":{"observed_at":"2026-08-03T21:50:15.568107Z","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-03T21:50:15.572614Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.572614Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:1573c6198d1d05ccd2303405e38e18f42d72bf16c08209210d114d747b3c1ce0","observation_id":"c5dc3b48-c5f5-473c-9777-3d018c35ee8f","resolution":{"observed_at":"2026-08-03T21:50:15.572614Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-07-06T20:13:58.813488Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-03T21:50:15.576772Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.576772Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:a5120ba1210fd078fd6e1dd59b35852cdad735841e808d11f9728c7edb975413","observation_id":"37f73ada-51c7-4417-bada-cf13ceb45a0e","resolution":{"observed_at":"2026-08-03T21:50:15.576772Z","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-03T21:50:15.583012Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.583012Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:8c3743b864931d48fe6ce23e2b58182501d94b3a2a68db48f6baf04630f4b20c","observation_id":"272be0b2-9399-4a25-9f36-3beda89644c4","resolution":{"observed_at":"2026-08-03T21:50:15.583012Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1905.03813","last_updated":"2019-10-15T06:11:03Z","snapshot_observed_at":"2026-08-08T18:02:52.018013Z","submitted_at":"2019-05-09T18:47:38Z","title":"When Deep Learning Met Code Search","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.03813","snapshot_observed_at":"2026-08-03T21:50:15.587059Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.587059Z"},"links":{"cited_paper":"/paper/1905.03813","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:c199369317348f206663fa608cd76729a4e355149a367af13de1e5e442acd0c3","observation_id":"047bb28d-6c3b-4e91-ab52-ecc33dc642e5","resolution":{"observed_at":"2026-08-03T21:50:15.587059Z","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-03T21:50:15.591181Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.591181Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:679ca5af1dd50413e20e387c4b6dd3400152ab1b81d31ccbbcc91360c39ae294","observation_id":"d95d806a-ab01-4e93-88fd-bbc349ae759d","resolution":{"observed_at":"2026-08-03T21:50:15.591181Z","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-03T21:50:15.595174Z","title":"Abstractinterpretation:aunifiedlatticemodelforstaticanalysisofprogramsby construction or approximation of fixpoints","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.595174Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:29fcc8c35c1e7b0321258a98f70ed7270c2f5633ad5b2ce58869cbb61e41616f","observation_id":"8fc4190a-a3d8-4cfc-a39e-aaf69c788c7f","resolution":{"observed_at":"2026-08-03T21:50:15.595174Z","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-03T21:50:15.599473Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.599473Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:18928f661dd2a046bca331d4dc5cbeecb703388e1ca8588c10c7be525af3475f","observation_id":"f7be7e5d-f2c5-4f02-a643-34a09e40e043","resolution":{"observed_at":"2026-08-03T21:50:15.599473Z","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-03T21:50:15.603446Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.603446Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:d7dbcfd64ce6b677974c7ad63169d65f14dabfd929f57c27e2776e6acbc50130","observation_id":"5a7af612-3156-4a5c-90c7-ea5ecf7031fb","resolution":{"observed_at":"2026-08-03T21:50:15.603446Z","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-03T21:50:15.612223Z","title":"1973.Fourier-Motzkin elimination and its dual","venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.612223Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:8c264a1c99961615367e6873101b7cc67fbea485d772aef0bec9c933cd0426db","observation_id":"10b38694-8a97-4be7-8816-c08f7830a07f","resolution":{"observed_at":"2026-08-03T21:50:15.612223Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-03T21:50:15.616269Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.616269Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:580014cfabfe9046c99d8756720de00141747c0b109d4c97a7c7af8bc02ed0f5","observation_id":"5c56ba29-1c1a-452e-9d5e-794e4ff64f77","resolution":{"observed_at":"2026-08-03T21:50:15.616269Z","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-03T21:50:15.620678Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.620678Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:d8a0775eec4f071f22cfb01ac10a78bec4eba314e4a4ba26be460c2e00aab5ef","observation_id":"be9969b5-6bef-4f63-93e4-81c10a33fec8","resolution":{"observed_at":"2026-08-03T21:50:15.620678Z","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-03T21:50:15.624560Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.624560Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:f6b5ff8dc08696b3fa479f182dcfb65e1329df874510016f30bee9aec6697770","observation_id":"1850b375-4407-4a72-adfc-05e3cd96a56b","resolution":{"observed_at":"2026-08-03T21:50:15.624560Z","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-03T21:50:15.628496Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.628496Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:bf73f1e66f49f01d8b237350643709f74501c7d5e0499815d4da7ef9d671240b","observation_id":"d54b735b-c776-477f-94a8-27874e3a3e20","resolution":{"observed_at":"2026-08-03T21:50:15.628496Z","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-03T21:50:15.633082Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.633082Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:6d825d32a82b236b0f327cccdc74ae57133abef7230864417ce8b269173367b7","observation_id":"0ebd8544-3930-4b3c-b8b1-1666068d67a0","resolution":{"observed_at":"2026-08-03T21:50:15.633082Z","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-03T21:50:15.637080Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.637080Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:27a91162ebadd65e233f898eec85b0f0bc85ca8e2268ed5ff4141b3dd820726a","observation_id":"b55c2bcd-04bb-44e0-9143-466b5334c9a8","resolution":{"observed_at":"2026-08-03T21:50:15.637080Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.11827","last_updated":"2026-04-25T09:05:03Z","snapshot_observed_at":"2026-07-06T21:57:50.776977Z","submitted_at":"2025-07-16T01:05:23Z","title":"Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.11827","snapshot_observed_at":"2026-08-03T21:50:15.640858Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.640858Z"},"links":{"cited_paper":"/paper/2507.11827","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:f71eb7c296a3d5b50749f66c630f27d1a8f9b550b4ef3f4b2435bc431de9be8e","observation_id":"349a726c-6116-4fac-bc44-9a0b92120371","resolution":{"observed_at":"2026-08-03T21:50:15.640858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-08T14:49:59.485488Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-03T21:50:15.644926Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.644926Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:7c73458b71a7ccaf7c6f0bb452284c472d16b52c53ca8c237bee7cd8dd7a63c8","observation_id":"93acb7ae-e46a-44e9-8d7d-60d0102a70b9","resolution":{"observed_at":"2026-08-03T21:50:15.644926Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.09359","last_updated":"2024-12-10T16:24:48Z","snapshot_observed_at":"2026-08-05T01:26:11.680969Z","submitted_at":"2024-09-14T08:17:30Z","title":"Symbolic Regression with a Learned Concept Library","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.09359","snapshot_observed_at":"2026-08-03T21:50:15.648941Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.648941Z"},"links":{"cited_paper":"/paper/2409.09359","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:35913f5e44280078fa6a179cb8aa4effa974d638a8883c3d59e59f7ed443e452","observation_id":"a4f6dd17-b7d1-4342-866a-7c25d4a72dd2","resolution":{"observed_at":"2026-08-03T21:50:15.648941Z","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-03T21:50:15.652946Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.652946Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:9b6bb630b4830df4ed412d8e4f79414f186887f8fd962759dfd2df0b3f0cd680","observation_id":"a4b65478-9d87-4158-8f24-5aa651ea797c","resolution":{"observed_at":"2026-08-03T21:50:15.652946Z","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-03T21:50:15.656635Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.656635Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:f590417b223e7d38c707209652b047b110b5f6bb0382e5c3ac8c6ec6689fffbd","observation_id":"8dd847be-c466-4e59-845a-bf276a420848","resolution":{"observed_at":"2026-08-03T21:50:15.656635Z","resolver_source":null,"status":"malformed_identifier"},"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-03T21:50:15.660238Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.660238Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:3a297cee9a1828e8cb02cab4d66d14c1d5a665dfa31ff4c675fa2f144e1c1ea6","observation_id":"cfb4761b-ac14-4816-a732-d6e4ed011b44","resolution":{"observed_at":"2026-08-03T21:50:15.660238Z","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-03T21:50:15.664133Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.664133Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:a3270c27c2c5b710de35a61b19da6e8cd510ef1fd5bf50c63c01f0a385fee4ae","observation_id":"fe754103-5e6b-40aa-bbf6-b4dd834a6ad3","resolution":{"observed_at":"2026-08-03T21:50:15.664133Z","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-03T21:50:15.667799Z","title":"Synthesizingabstract transformers.Proc.ACMProgram.Lang.OOPSLA2,Article171(Oct.2022),29pages","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.667799Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:46cea032548fd2f68a2e60b0de53692da604fed158f61e1d2b9a8112abec0fa0","observation_id":"d029e925-3a53-4cf8-bb71-7762b7bf09bd","resolution":{"observed_at":"2026-08-03T21:50:15.667799Z","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-03T21:50:15.671517Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.671517Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:03e23cf76eae880ef9eafda566ebfeff29ac7e1c59e0fea30aa9a50d2b65f1f2","observation_id":"d310840e-5354-4bf4-b994-520912a18951","resolution":{"observed_at":"2026-08-03T21:50:15.671517Z","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-03T21:50:15.675299Z","title":"2009.The CIFAR-10 and CIFAR-100 datasets","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.675299Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:b3dd4b4c218b275b1c3757aff12597a9cb5f170452a3808bdf429c73ea81b120","observation_id":"a8cd583c-23ef-48da-aad0-add7e43308f9","resolution":{"observed_at":"2026-08-03T21:50:15.675299Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.08896","last_updated":"2022-06-17T17:07:04Z","snapshot_observed_at":"2026-07-06T13:22:05.813672Z","submitted_at":"2022-06-17T17:07:04Z","title":"Evolution through Large Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.08896","snapshot_observed_at":"2026-08-03T21:50:15.678990Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.678990Z"},"links":{"cited_paper":"/paper/2206.08896","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:b4da7e9582cb82f4ac03c721bf03151552cdf26bdacaefc76f968f0f8812c799","observation_id":"ab04af71-6669-4162-a7d7-70f219145a78","resolution":{"observed_at":"2026-08-03T21:50:15.678990Z","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-03T21:50:15.682793Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.682793Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:239dddc24dae3e660fac10f87723ff913840793f9a177906ef9fdb2719040803","observation_id":"052eb84e-c7b9-4f57-9696-de82d44407fc","resolution":{"observed_at":"2026-08-03T21:50:15.682793Z","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-03T21:50:15.686466Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.686466Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:2738fc46601a7ae721092fd22a0f72a0f4631a70597efff18e8e8b656b18a827","observation_id":"8ec3d1f1-87e5-41de-818b-882eec633178","resolution":{"observed_at":"2026-08-03T21:50:15.686466Z","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-03T21:50:15.690606Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.690606Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:bc882952463e8b8d1777900e5887664adf2ee0bc2f4ef9763c313ba4b89c0052","observation_id":"4cde6d8f-95ea-4d71-9a1e-1365597bddbb","resolution":{"observed_at":"2026-08-03T21:50:15.690606Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-03-30T18:30:01Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17651","snapshot_observed_at":"2026-08-03T21:50:15.694697Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.694697Z"},"links":{"cited_paper":"/paper/2303.17651","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:d2518b654f7fac2f692862fc4d83cbbb5f7e892b9810ab2f3b0561b5ce7d6348","observation_id":"94191096-c90f-46a6-9ea2-cfa0fff98b4a","resolution":{"observed_at":"2026-08-03T21:50:15.694697Z","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-03T21:50:15.698607Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.698607Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:ef84424262c23b447a08cf84d0de1643b505c5feb882509d4ea2182ac2833291","observation_id":"3a1d982d-ef57-47e7-9bf5-cf7acb5ec778","resolution":{"observed_at":"2026-08-03T21:50:15.698607Z","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":"10.1016/j.entcs.2017.02.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Electronic Notes in Theoretical Computer Science","work_id":"848dea22-4384-4a5b-a2a5-43cc9b2c0ddb","year":2017},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.702328Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:42d10ad7d0c6ee4086c18df58d1d6aa13e55691207ad72653ab1e0eceff5c428","observation_id":"4b75cd6d-121f-4bca-a31d-85b936f85d98","resolution":{"observed_at":"2026-08-03T21:54:04.160854Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:50:15.706222Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.706222Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:e512ce97dfe3555c552c0dc68f53344ad7a2879ed7f699a5f503b5ce795b4db2","observation_id":"59ef2de6-a36b-4b9a-9906-9541be029469","resolution":{"observed_at":"2026-08-03T21:50:15.706222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.13474","last_updated":"2023-02-27T21:26:48Z","snapshot_observed_at":"2026-07-06T12:52:16.992962Z","submitted_at":"2022-03-25T06:55:15Z","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.13474","snapshot_observed_at":"2026-08-03T21:50:15.709977Z","title":"Codegen: An open large language model for code with multi-turn program synthesis.arXiv preprint arXiv:2203.13474 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.709977Z"},"links":{"cited_paper":"/paper/2203.13474","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:624a6bca3232ed95cc6b4e76457bffe003776588b70303aa5d8d0b3794e75721","observation_id":"9620e443-0090-4b81-a4d0-03288cf0ac48","resolution":{"observed_at":"2026-08-03T21:50:15.709977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-07T04:21:43.190472Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-03T21:50:15.714004Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.714004Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:48ef17be440933482eca1a67214a7278e8d48b8bf98b9e1052528a19ab30c7b0","observation_id":"b093e40a-aebe-4d01-bd5f-4ce2976af2bf","resolution":{"observed_at":"2026-08-03T21:50:15.714004Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2201.13351","last_updated":"2022-01-31T17:00:50Z","snapshot_observed_at":"2026-07-06T12:33:01.613365Z","submitted_at":"2022-01-31T17:00:50Z","title":"LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.13351","snapshot_observed_at":"2026-08-03T21:50:15.721763Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.721763Z"},"links":{"cited_paper":"/paper/2201.13351","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:75b759bedb4f7e302c2ef0c9d3e27df441b795c17e5235267480f28db2e8209b","observation_id":"98ba8cf2-6a5c-4a16-8817-8c899b5ebd8a","resolution":{"observed_at":"2026-08-03T21:50:15.721763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-03T21:50:15.725764Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.725764Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:c68b8550d297995e3d1645f24a1406c1bb7a55e669700daca3d3691f55affc38","observation_id":"583aa9a1-3811-469f-b62b-05e04a6cba4b","resolution":{"observed_at":"2026-08-03T21:50:15.725764Z","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-03T21:50:15.730094Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.730094Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:40345a8e913e14bbd5bbefd769900853772d26debe906977bf1ab03c9a64f56a","observation_id":"dba211b7-fd0f-4387-b6ec-82e45315309d","resolution":{"observed_at":"2026-08-03T21:50:15.730094Z","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-03T21:50:15.734009Z","title":"Pawan Kumar, Emilien Dupont, Francisco J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.734009Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:e2f94c8077dc6dc3bfcadb5f3e6624e516b761629809797229b159f393d149fe","observation_id":"ffdddfd2-f67a-41ab-91f4-9301c99c406b","resolution":{"observed_at":"2026-08-03T21:50:15.734009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18400","last_updated":"2025-03-20T16:37:17Z","snapshot_observed_at":"2026-07-06T18:06:49.190172Z","submitted_at":"2024-04-29T03:30:06Z","title":"LLM-SR: Scientific Equation Discovery via Programming with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18400","snapshot_observed_at":"2026-08-03T21:50:15.741703Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.741703Z"},"links":{"cited_paper":"/paper/2404.18400","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:58b98176d78663f7dfb7a074b3ba4c1633d560d975f6650508d0f2777d48cbe2","observation_id":"46fbe78e-7f4f-4d86-943f-8d9bc969ce5f","resolution":{"observed_at":"2026-08-03T21:50:15.741703Z","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-03T21:50:15.745798Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.745798Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:f071861e7c93312942b07767004ae7399682c5f761291c34e4c36b9abbe412f7","observation_id":"1a079506-a9aa-4562-a6b2-77262032fcf5","resolution":{"observed_at":"2026-08-03T21:50:15.745798Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3720509","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"115fcf33-8b14-4870-ad46-4b59a057a0c0","year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.749978Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:e16003fe93aa743a465c7bf99e2f346be7fad72dbc3b34bf61571f6cfefe6cca","observation_id":"26cac0ad-0698-4303-8c9e-573499631a1d","resolution":{"observed_at":"2026-08-03T21:54:03.912186Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.20055","last_updated":"2025-07-26T20:38:29Z","snapshot_observed_at":"2026-08-06T13:47:50.018548Z","submitted_at":"2025-07-26T20:38:29Z","title":"A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.20055","snapshot_observed_at":"2026-08-03T21:50:15.753815Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.753815Z"},"links":{"cited_paper":"/paper/2507.20055","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:5a5bb6ae5db295655a678cd271f50c5b15c5624282b67fe753faeb274b77215b","observation_id":"22eaa034-0020-410f-9f99-a4feb490d227","resolution":{"observed_at":"2026-08-03T21:50:15.753815Z","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-03T21:50:15.758424Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.758424Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:83309281501abf71487b3ef1641e76d1e49f5c358a77f8b43d8c0f67221f3ab1","observation_id":"4e962381-a51d-4212-accd-e77b5b7b947f","resolution":{"observed_at":"2026-08-03T21:50:15.758424Z","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-03T21:50:15.762287Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.762287Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:8e495c6c9659cd4a73e4ad1cd873ad4e6e904458cf06bb5a8de8cc209ceb0b15","observation_id":"6ca0488f-2ca8-4002-a40c-1ffb25ac04f9","resolution":{"observed_at":"2026-08-03T21:50:15.762287Z","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-03T21:50:15.765931Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.765931Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:72f323a9bbe6a3e037e79c2812a72013162e4067e4caeb96d9bfa1ae34ed253b","observation_id":"ca80ed55-e087-4c03-83c8-020cd8b6798d","resolution":{"observed_at":"2026-08-03T21:50:15.765931Z","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-03T21:50:15.769702Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.769702Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:b8b880c913e2e923f0e4340101d3218e76c3a89e5f2a7ca4db486a52ba3a452f","observation_id":"5b0ccd29-204b-40f0-95e6-80115ed9555f","resolution":{"observed_at":"2026-08-03T21:50:15.769702Z","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-03T21:50:15.773568Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.773568Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:e71dc1ee38baf8523a9f8e23ae8d5732c70b689203cf86938163cf3bc4091f74","observation_id":"ba768b3d-fcc9-456c-8e1a-cb6a36fa51e2","resolution":{"observed_at":"2026-08-03T21:50:15.773568Z","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-03T21:50:15.777411Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.777411Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:0e853ef540091a099ba91a33eb6ecf4daefb8f7faf6317e5f92ee99295670f8a","observation_id":"da465a7b-0d70-47bc-88fb-5e8dde21736c","resolution":{"observed_at":"2026-08-03T21:50:15.777411Z","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-03T21:50:15.781153Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.781153Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:f921d19acf60735dd837e60e3a17a011715a40d07721cca7f9ba538b6087c1cb","observation_id":"47a11a61-7815-4cd9-9336-bee179455b49","resolution":{"observed_at":"2026-08-03T21:50:15.781153Z","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-03T21:50:15.784949Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.784949Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:bed70a6d5c1b6700b8e9133402e3b8cc6f97d8670bc34208512ac1262cd5a0a1","observation_id":"122329f5-7c02-48e9-968c-673dcfda33a6","resolution":{"observed_at":"2026-08-03T21:50:15.784949Z","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-03T21:50:15.789044Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.789044Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:0d81c61519af948cda250a53c42cf32716ca253ae1f49b8155f447e203a1e15a","observation_id":"761ec041-972a-4dd5-99ae-aa409924bf86","resolution":{"observed_at":"2026-08-03T21:50:15.789044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11805","last_updated":"2025-05-09T21:04:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-19T02:39:27Z","title":"Gemini: A Family of Highly Capable Multimodal Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11805","snapshot_observed_at":"2026-08-03T21:50:15.792769Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.792769Z"},"links":{"cited_paper":"/paper/2312.11805","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:fe4e8fe9d7b59c6b2ec3d20e284fb540001e1e1b6da3012f303b288d3f3b9a92","observation_id":"88185f3c-e2c6-41b7-b20a-e537f3c8de87","resolution":{"observed_at":"2026-08-03T21:50:15.792769Z","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-03T21:50:15.796534Z","title":"Yu, and Guandong Xu","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.796534Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:0e017c1bf5ac7f1297fc31584c20d4659c6005d045df0968356134328761b938","observation_id":"faf3834d-e4f2-4b7d-b218-f12373b0b208","resolution":{"observed_at":"2026-08-03T21:50:15.796534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2106.03245","last_updated":"2021-06-06T20:56:06Z","snapshot_observed_at":"2026-07-06T11:16:30.999377Z","submitted_at":"2021-06-06T20:56:06Z","title":"Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.03245","snapshot_observed_at":"2026-08-03T21:50:15.800474Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.800474Z"},"links":{"cited_paper":"/paper/2106.03245","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:3cdaef130680ae6b62e55cc4fcfa6ba30b6393bccfe7cbfa92c3107930a8fa5a","observation_id":"15650488-fade-48c3-8953-127ae98e812a","resolution":{"observed_at":"2026-08-03T21:50:15.800474Z","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-03T21:50:15.804346Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.804346Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:318b522ce6f2ea6082fac70a5d3c1e2747ed698a7c0d84cbd5aebb8a152a174a","observation_id":"6b77ee36-93ba-40ea-be1c-17507d1416d5","resolution":{"observed_at":"2026-08-03T21:50:15.804346Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.11817","last_updated":"2025-02-13T08:11:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-01-22T10:26:14Z","title":"Hallucination is Inevitable: An Innate Limitation of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.11817","snapshot_observed_at":"2026-08-03T21:50:15.808090Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.808090Z"},"links":{"cited_paper":"/paper/2401.11817","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:06636e60eeab5532b0eef5771f871e244371db93de79795e3f8d87910f53551e","observation_id":"db028d3b-4318-40be-bb0e-d18e247c66a9","resolution":{"observed_at":"2026-08-03T21:50:15.808090Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03629","last_updated":"2023-03-10T01:00:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-06T01:00:32Z","title":"ReAct: Synergizing Reasoning and Acting in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03629","snapshot_observed_at":"2026-08-03T21:50:15.812108Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.812108Z"},"links":{"cited_paper":"/paper/2210.03629","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:a6178262f61027eacd72f9506229d5d244129ba9f95f77dff71d40dce1ddfc6d","observation_id":"2e89816d-ef88-4d17-bf77-11b4f1eef34f","resolution":{"observed_at":"2026-08-03T21:50:15.812108Z","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-03T21:50:15.816078Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.816078Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:4f4a07f9ee42e3adad8b8031cec541d1b2e7eb2f8ab301f4de60ad79affcac71","observation_id":"5ec907ee-f99d-466f-bd03-88a080ca7942","resolution":{"observed_at":"2026-08-03T21:50:15.816078Z","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-03T21:50:15.828762Z","title":"Unsound transformer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.828762Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:d9b8d2ba8a2350bcc3d0ef6fb3c097b454dfd5060bd70b6763a5633d908316f7","observation_id":"e9539dd6-69b0-4335-aae0-c19e883194ae","resolution":{"observed_at":"2026-08-03T21:50:15.828762Z","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-03T21:50:15.824573Z","title":"Invalid transformer (Syntax error","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":161,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.824573Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:cd47d2116a9e2210220efef01f53aabae8ca89b95953563e1c87057bbc3b27a6","observation_id":"5dea466d-8c49-42bf-97ea-9a55000f8569","resolution":{"observed_at":"2026-08-03T21:50:15.824573Z","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-03T21:50:15.833209Z","title":"Sound transformer Fig","venue":null,"work_id":null,"year":2062},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":181,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.833209Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:cc5a84567e77df64cdc5af0ebd2cbfece29b08e963c7b7975809249d57c08a07","observation_id":"2bd06add-f279-401c-bc72-cf5e88a82dfb","resolution":{"observed_at":"2026-08-03T21:50:15.833209Z","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-03T21:50:15.607395Z","title":"https://doi.org/10.1007/978-3-540-31987-0_3","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.607395Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:9bc55680dd101790fc398659868dc2d48e1829980dedd68226dd18d86df308ce","observation_id":"29ca230b-9d90-4798-80d9-32731b39f232","resolution":{"observed_at":"2026-08-03T21:50:15.607395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1906.06316","last_updated":"2019-11-27T11:03:27Z","snapshot_observed_at":"2026-07-06T08:00:25.359981Z","submitted_at":"2019-06-14T17:44:40Z","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.06316","snapshot_observed_at":"2026-08-03T21:50:15.820172Z","title":"\"\" ### Example: Affine operator Input: Generate the transformer for ‘affine‘ operator Output:","venue":null,"work_id":null,"year":1906},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.820172Z"},"links":{"cited_paper":"/paper/1906.06316","citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:5c4352c376518353a2b04073679aecd5aeb4c2b8722eeaadeab924eb88dcb425","observation_id":"b18e55a9-c1e6-4b9c-abc1-cfdbc0311c1b","resolution":{"observed_at":"2026-08-03T21:50:15.820172Z","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-03T21:50:15.737833Z","title":"https://doi.org/10.1038/s41586-023-06924-6","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-03T21:50:15.737833Z"},"links":{"citing_paper":"/paper/2511.13663"},"observation_digest":"sha256:34568115f7ffdb6eb5ba22360e2bd5262b79304875495dfd24246fa962ddbc85","observation_id":"0a8ed24f-d8a0-402f-991d-b99c14b3d57f","resolution":{"observed_at":"2026-08-03T21:50:15.737833Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2511.13663","last_updated":"2026-06-02T16:19:57Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T00:47:45.850094Z","submitted_at":"2025-11-17T18:16:36Z","title":"SAIL: Sound Abstract Interpreters with LLMs"},"reference_resolution":{"displayed":69,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":65,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":69},"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 69 of 69 outbound references and 0 inbound Pith citation observations for arXiv:2511.13663."}