{"as_of":"2026-08-16T11:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e13888d8e694b60a433d63905bc25c7709793ab07fabc795c48090d01990d7cd","coverage":[{"denominator":129,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T21:09:22.484749Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:43:41.976202Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-16T04:43:44.572137Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"cited_work":{"arxiv_id":"2501.05867","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.05867","snapshot_observed_at":"2026-08-16T04:43:44.572137Z","title":"Neural Network Verification is a Programming Language Challenge","venue":"cs.PL","work_id":"3aa8fd47-6814-4f15-bcff-0074a2e4af8e","year":2025},"citing_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T04:35:27.316749Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T04:43:41.976202Z"},"links":{"cited_paper":"/paper/2501.05867","citing_paper":"/paper/2505.00622"},"observation_digest":"sha256:34d62d8187b82fb8ad482ded1fb033628ab35c6acda9a61f3baa91bc0821631a","observation_id":"6ed5732a-f615-4d3a-9fbf-17b470150501","resolution":{"observed_at":"2026-08-16T04:43:44.581327Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.05867/citation-record","integrity":"/paper/2501.05867/integrity","json":"/paper/2501.05867/citation-record.json","paper":"/paper/2501.05867"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:21.836310Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.836310Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:fbcc1183eab9fd3579e1a20e07416fcdc74bb535b1ddca1ebdb6c09f23969a43","observation_id":"6355c816-efa6-454f-83f5-a0928f9e042b","resolution":{"observed_at":"2026-08-10T21:09:21.836310Z","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-10T21:09:21.840859Z","title":"In: Interactive Theorem Provers (ITP) 2024 (2024) 20 L","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.840859Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:db7efd3e21486291c106bb2be20f2164edcabf6dbb2f002851167ca3db252683","observation_id":"d2d0c015-2bee-407e-92d2-3aa49aecec1d","resolution":{"observed_at":"2026-08-10T21:09:21.840859Z","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-10T21:09:21.847210Z","title":"In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.847210Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:f4f88167c3d12760e995938d44670ccbc6ab4e2d486ea0bf221fbaf7a7d17b0d","observation_id":"f0512b25-4c04-40ed-a5f8-73654e51cc9a","resolution":{"observed_at":"2026-08-10T21:09:21.847210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.10317","last_updated":"2021-10-04T18:38:55Z","snapshot_observed_at":"2026-08-10T02:46:04.262270Z","submitted_at":"2021-09-21T16:57:01Z","title":"Introduction to Neural Network Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.10317","snapshot_observed_at":"2026-08-10T21:09:21.852691Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.852691Z"},"links":{"cited_paper":"/paper/2109.10317","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:657ff600089e398019f6853c743a05f34377f82f5342f339fd6b99fbc1296c25","observation_id":"0087426a-5adb-4775-9eff-a0d84644d822","resolution":{"observed_at":"2026-08-10T21:09:21.852691Z","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.1007/978-3-031-33170-1_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: 15th International NASA Symposium on Formal Methods (NFM 2023), Houston, TX, USA, May 16–18, 2023","venue":"Lecture notes in computer science","work_id":"a629a4af-72f1-4429-89de-88050e8de2a5","year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.858207Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:63a35315e6ef48e0c5e1dbb628aa91e651cd634c94309581b85b79326779ac78","observation_id":"7f440711-9c33-4de5-8977-329f81800d59","resolution":{"observed_at":"2026-08-10T21:09:22.979366Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:21.863387Z","title":"In: Groote, J.F., Larsen, K.G","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.863387Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:1446e8d15ecfd9354ad8d729d2aad95c589910f1154f73cf9798d5fa29e1a886","observation_id":"0150727b-b6b3-4a44-864f-2b90c232400e","resolution":{"observed_at":"2026-08-10T21:09:21.863387Z","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-10T21:09:21.869746Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.869746Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:f0a53a1b87b5095d30fe265798cb50ecc302c2f7cf88631904e6a81fe898cf36","observation_id":"199c52f3-e825-4e14-8888-a520c32af2cf","resolution":{"observed_at":"2026-08-10T21:09:21.869746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14400","last_updated":"2024-09-03T17:29:19Z","snapshot_observed_at":"2026-08-13T00:00:01.726554Z","submitted_at":"2024-05-23T10:19:35Z","title":"Verifying Global Two-Safety Properties in Neural Networks with Confidence","version":3},"cited_work":{"arxiv_id":"2405.14400","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.14400","snapshot_observed_at":"2026-08-10T21:09:24.440307Z","title":"Verifying Global Two-Safety Properties in Neural Networks with Confidence","venue":"cs.LO","work_id":"671dbe62-c727-41b9-9072-bea050a17757","year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.875304Z"},"links":{"cited_paper":"/paper/2405.14400","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:adb3ee92d5cfefe28b5ca72635292499b1e76f650a90a60dc43076276ecf46c9","observation_id":"3f5e7209-5cd0-4785-bb7b-b9b24aeb52be","resolution":{"observed_at":"2026-08-10T21:09:24.445907Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:21.881337Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.881337Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:ef7855306b5f1115fdf36cb2a3ffed8ebcddf90d88abbc50c5dbfb6df729472e","observation_id":"0b5ff70d-88ce-457d-ab38-62d43f4c41bf","resolution":{"observed_at":"2026-08-10T21:09:21.881337Z","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-10T21:09:21.888840Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.888840Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:6e073a0f9c8014dbbe661e2ad3753eff956b15dd50cc2509c5446d10a37f2d23","observation_id":"8f2d81dc-2f67-4bb6-8a7a-b3774b8a7941","resolution":{"observed_at":"2026-08-10T21:09:21.888840Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00498","last_updated":"2021-08-31T01:29:56Z","snapshot_observed_at":"2026-08-14T20:06:42.494794Z","submitted_at":"2021-08-31T01:29:56Z","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00498","snapshot_observed_at":"2026-08-10T21:09:21.893724Z","title":"http://arxiv.org/abs/2109.00498","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.893724Z"},"links":{"cited_paper":"/paper/2109.00498","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:161eeaf758ab2d33f7f1b18a9847517b271eba9ed1e1c72b74faf9f25f8cf063","observation_id":"9b2d08f1-d87d-40b2-9950-99a8515eb46a","resolution":{"observed_at":"2026-08-10T21:09:21.893724Z","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-10T21:09:21.898063Z","title":"In: Peltier, N., Sofronie-Stokkermans, V","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.898063Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:13e0817bcf769667491e055bb69f11c2241c2384f46408c4346a5403cd226671","observation_id":"9f8ae9a9-d883-4a43-a3cb-090a9b3add89","resolution":{"observed_at":"2026-08-10T21:09:21.898063Z","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-10T21:09:21.901835Z","title":"www.SMT-LIB.org (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.901835Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:2c6e25a374458149f05a2218471b57023954387d740bba1d48768d7f2d56f249","observation_id":"e6ef06e5-cdec-44de-b9c3-ede50ffaacb9","resolution":{"observed_at":"2026-08-10T21:09:21.901835Z","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.1145/3444943","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:22.945939Z","title":"ACM Trans","venue":null,"work_id":"394557e6-a77e-4d9b-9d0b-e63160c71af2","year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.905920Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:cdc0e2f7a2a6100ca1145c4bca72d38ffcead2bd47a81891bba58c20ffd1a0c7","observation_id":"14bef480-5a60-43c8-a757-c73fc6fd3d66","resolution":{"observed_at":"2026-08-10T21:09:22.952568Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:21.910806Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.910806Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:c4e54285148e87e8213b0caed582e6e834fa0089c346e0e19388d6d17e7fc96c","observation_id":"1029c672-1b50-4606-a90b-c800372e0205","resolution":{"observed_at":"2026-08-10T21:09:21.910806Z","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-10T21:09:21.926975Z","title":"science/hal-04474530/document","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.926975Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b85aa9cacd8b8e5ee4e3941dd12e1d6c61f5785374ef3862269d2c2e04f7c52d","observation_id":"0ff4b777-4d67-48a3-b29f-5f30bc5f3297","resolution":{"observed_at":"2026-08-10T21:09:21.926975Z","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-08-14T13:40:14.142943Z","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-10T21:09:21.931736Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.931736Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:90e62b6a6aa26b4aeb8f33093e6296f54150ea1b0bd3ce93760b76e52d6a73fe","observation_id":"f2933e5c-260c-4bea-a8ca-1877717ee7df","resolution":{"observed_at":"2026-08-10T21:09:21.931736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-08-15T19:44:13.096557Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-10T21:09:21.937853Z","title":"CoRRabs/2312.16760 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.937853Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:6f8b355daf8b7d7cfc0e31d6edff5609280ab26e9c98921aa741c23e6bff7d38","observation_id":"5736502a-336a-4881-81b1-4004bfea2b72","resolution":{"observed_at":"2026-08-10T21:09:21.937853Z","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-10T21:09:21.943232Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.943232Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:73e4657ed4ee08c5bcf79b2b44474be3de2aded570833426e534a946853d9614","observation_id":"e875933e-cd9c-4cd4-8f9c-73e20d08565a","resolution":{"observed_at":"2026-08-10T21:09:21.943232Z","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-10T21:09:21.947795Z","title":"International Journal on Software Tools for Technology Transfer25(3), 329–339 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.947795Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:50a0c0c7fe7a8c87e8b4d7acb92338514c1cf09b7c24c49d9938e673ef8cb6ad","observation_id":"bebab429-57d0-4b3a-b15c-b6b9a4e2dfc1","resolution":{"observed_at":"2026-08-10T21:09:21.947795Z","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-10T21:09:21.951828Z","title":"In: 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 6–10, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.951828Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d00e8fc9c9d943c6185d4457e6ad754eeeb92eeaff7e974c963cd2b4d7ef271d","observation_id":"68912415-f77f-47fd-9b56-8f4042124346","resolution":{"observed_at":"2026-08-10T21:09:21.951828Z","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-10T21:09:21.956246Z","title":"In: 2019 IEEE 26th Symposium on Com- puter Arithmetic (ARITH)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.956246Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:953afa0841751d3afb001549a9335ae9a476d15c0c66748237091b74f3269555","observation_id":"36d33d5d-ccb9-4d47-acc6-3afd048490c7","resolution":{"observed_at":"2026-08-10T21:09:21.956246Z","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-10T21:09:21.961868Z","title":"IEEE Transactions on Software Engineering 50(6), 1374–1395 (2024).https://doi.org/10.1109/TSE.2024.3385378","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.961868Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:75b193419044f89cb332734c16476e8cb6a7e96b14c026e2aa8fe109b05ca40c","observation_id":"76d79522-938b-45c7-9140-bc3652c4c92a","resolution":{"observed_at":"2026-08-10T21:09:21.961868Z","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-10T21:09:21.966538Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.966538Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b0b744d17e837498030f8a540622394e74ab066dfe888cac342d88d32635d67d","observation_id":"1a98b894-c149-409f-a1df-c5e17898e9c8","resolution":{"observed_at":"2026-08-10T21:09:21.966538Z","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-10T21:09:21.991246Z","title":"In: Computer Aided Verification (CAV 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.991246Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:322a34085e3a0041bf81b2147e411cb754d1c84a38cda0bec202856cac5407e1","observation_id":"7c95bd91-618b-49c1-b95a-206c9b2a0660","resolution":{"observed_at":"2026-08-10T21:09:21.991246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.06054","last_updated":"2022-06-13T11:35:55Z","snapshot_observed_at":"2026-08-13T15:24:59.865436Z","submitted_at":"2022-06-13T11:35:55Z","title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models","version":1},"cited_work":{"arxiv_id":"2206.06054","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.06054","snapshot_observed_at":"2026-08-10T21:09:24.132247Z","title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models","venue":"cs.LG","work_id":"fbcdd832-2235-4f62-a0ff-42df581c3dd8","year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:21.995992Z"},"links":{"cited_paper":"/paper/2206.06054","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:0c6d588287c61180af3d15e60d829968600d98b83f1f6cf645b967a5237b6b56","observation_id":"c6efc2b1-07cb-4c9e-a1ee-b808d858f05b","resolution":{"observed_at":"2026-08-10T21:09:24.139288Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.014780Z","title":"In: Smola, A., Dimakis, A., Sto- ica, I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.014780Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:e0b7e1f35ee995e2e3b773c0607f018301a18f6a955dc26ff9353a35df13e3a3","observation_id":"8ed0de53-ed38-46ac-8c58-21155349b8bb","resolution":{"observed_at":"2026-08-10T21:09:22.014780Z","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-10T21:09:22.021500Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.021500Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d8862456236579e8b626a328fa1a78eee3c9717b1fbe048143dd658eabfb80da","observation_id":"fc03e454-e5bc-4c2b-99cf-d9e3eb3c1a6d","resolution":{"observed_at":"2026-08-10T21:09:22.021500Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2202.05207","last_updated":"2022-02-10T18:09:23Z","snapshot_observed_at":"2026-08-13T16:43:27.584747Z","submitted_at":"2022-02-10T18:09:23Z","title":"Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2202.05207","snapshot_observed_at":"2026-08-10T21:09:22.028644Z","title":"https://doi.org/10.48550/ARXIV.2202.05207, https://arxiv.org/ abs/2202.05207","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.028644Z"},"links":{"cited_paper":"/paper/2202.05207","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:399a2a3ef22cda4e1ddbbdd340037a393c4f3739277f178527a994a652f9ab02","observation_id":"ee305966-a971-4f8d-ad98-71460dc5bc42","resolution":{"observed_at":"2026-08-10T21:09:22.028644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.06379","last_updated":"2025-06-06T00:25:20Z","snapshot_observed_at":"2026-08-14T13:40:38.002789Z","submitted_at":"2024-01-12T05:01:47Z","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06379","snapshot_observed_at":"2026-08-10T21:09:22.037718Z","title":"CoRR abs/2401.06379 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.037718Z"},"links":{"cited_paper":"/paper/2401.06379","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:de238c0f795605d8b01edce4a9f0ee21f130b99d1e6fb271fdda5da64c7340ab","observation_id":"3e4dea1f-6e37-4cad-832d-72dbcf1ad40d","resolution":{"observed_at":"2026-08-10T21:09:22.037718Z","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-10T21:09:22.044983Z","title":"In: Narodytska, N., Amir, G., Katz, G., Isac, O","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.044983Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:5e11db92e7a19583ca254a13d68a81ba211a628a74cc17cde2eb3c2c148d7de4","observation_id":"a3350020-2d9b-4336-9939-a8188d95c9de","resolution":{"observed_at":"2026-08-10T21:09:22.044983Z","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-10T21:09:22.051803Z","title":"Frontiers of Computer Science16(3), 1–22 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.051803Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d4fc88aeb697459f005626a83dd72430b2c98932a116c114f04d94ecf4cd7476","observation_id":"e17892d0-b907-4662-b015-cdd979645e0b","resolution":{"observed_at":"2026-08-10T21:09:22.051803Z","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-10T21:09:22.061304Z","title":"In: 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (Jul 2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.061304Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:3f03cb193393ee8bf037ac903ae4d6151d14c847dda1daa75535287ab5817754","observation_id":"77812650-2737-4de3-a1ef-7ca4fb1c9ccf","resolution":{"observed_at":"2026-08-10T21:09:22.061304Z","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-10T21:09:22.067928Z","title":"In: 32nd USENIX Security Symposium (USENIX Security 23)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.067928Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:9a50b5dfb5305c38bd1ce0479ddfcabaf03b37270305016d9c67575ca6f90092","observation_id":"5b3e7e1a-ede3-4a15-a645-c77bcd5d68fc","resolution":{"observed_at":"2026-08-10T21:09:22.067928Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.10611","last_updated":"2025-06-24T15:45:04Z","snapshot_observed_at":"2026-08-13T00:05:18.092565Z","submitted_at":"2024-05-17T08:16:32Z","title":"A Certified Proof Checker for Deep Neural Network Verification in Imandra","version":2},"cited_work":{"arxiv_id":"2405.10611","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.10611","snapshot_observed_at":"2026-08-10T21:09:24.111466Z","title":"A Certified Proof Checker for Deep Neural Network Verification in Imandra","venue":"cs.LO","work_id":"91145f05-1ddc-466d-9efd-1b5a62a3fe16","year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.089456Z"},"links":{"cited_paper":"/paper/2405.10611","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:688c0a5f5b856fbbb5e59fc85c96f4c4aa506fd24b54eb8d55f46f067477b189","observation_id":"3aeab943-831c-4ea1-b50d-e73f6ded3fc2","resolution":{"observed_at":"2026-08-10T21:09:24.117081Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-45784-5_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Glück, R., Kafle, B","venue":"Lecture notes in computer science","work_id":"5625c103-bcbe-4a92-be0c-e8f0d4bb4a50","year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.097878Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:6d8d2d2818ec7a35b3c6c0489e35e01b8a411c25f9a832b84ed4111e35b8bab8","observation_id":"97831336-70ed-4c00-a817-04a49c34e060","resolution":{"observed_at":"2026-08-10T21:09:22.867457Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1357.35513","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.086102Z","title":"In: PPDP 2022: 24th International SymposiumonPrinciplesandPracticeofDeclarativeProgramming,Tbilisi,Geor- gia, September 20 - 22, 2022","venue":null,"work_id":"2bc0d461-ca70-45d6-8bac-89ef273ccbf3","year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.104606Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:e0f5982436049b7e5c0314dda1b5b595156495171a1d35a90d0267fa25fe3a75","observation_id":"41a0602a-2764-499f-8fe5-1d33f0962c03","resolution":{"observed_at":"2026-08-10T21:09:24.095327Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ifacol.2018.08.026","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:22.845378Z","title":"IFAC-PapersOnLine 51(16), 151 – 156 (2018)","venue":null,"work_id":"676fce9f-2d06-4de1-bbfe-f2650f67f22e","year":2018},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.115690Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d6738d52737fedf630fddaa761d1e8353d43caac98b3e7691dcb1ba3b71982cf","observation_id":"816ad7a6-4e2e-48af-9bbb-412d69711f6d","resolution":{"observed_at":"2026-08-10T21:09:22.850830Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.122300Z","title":"In: Dutle, A., Muñoz, C., Narkawicz, A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.122300Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:649e5779e01b010e029909bf1d4a37d3d9c08793ee3156e344ff19e22984763f","observation_id":"b9cbc1e9-1e23-46f4-9d10-65b3f276e4e7","resolution":{"observed_at":"2026-08-10T21:09:22.122300Z","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-10T21:09:22.127208Z","title":"In:D’Souza,D.,NarayanKumar,K.(eds.)AutomatedTechnologyforVerification and Analysis","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.127208Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:53fc4abb100245942520639a02a42d2736d64d2246cc48d11b5adfcba6c7ae0b","observation_id":"2e382a54-f9d6-4319-9cdd-24decbcf608e","resolution":{"observed_at":"2026-08-10T21:09:22.127208Z","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-10T21:09:22.132113Z","title":"In: International Symposium on Automated Technology for Verification and Analysis (ATVA) (2020) NN Verification is a PL Challenge 23","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.132113Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:33520969f93a691c6c5faa35afd3f3836092a3ee17a0142174b310476ef9d379","observation_id":"4d4a5bc6-eb1c-484b-9ef6-2198338e5b68","resolution":{"observed_at":"2026-08-10T21:09:22.132113Z","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-10T21:09:22.137706Z","title":"In: Felleisen, M., Gardner, P","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.137706Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:2ab5d2ceff897b661299f138b4a2de51558843ae72b50e4a2ca75fafc0bce889","observation_id":"9d21891f-56c5-4933-a63f-8b17527a4936","resolution":{"observed_at":"2026-08-10T21:09:22.137706Z","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-10T21:09:22.144109Z","title":"In: Chaudhuri, K., Salakhutdinov, R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.144109Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:3921e8caf472cfda1728eaf00fc6d400e9f84bef4489581cf78decf05c7db2d8","observation_id":"9d42d4f6-a4c7-4e5a-8baf-4dcae9f0a6b7","resolution":{"observed_at":"2026-08-10T21:09:22.144109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.03847","last_updated":"2025-03-14T12:28:50Z","snapshot_observed_at":"2026-08-13T19:19:07.502119Z","submitted_at":"2024-07-04T11:28:40Z","title":"Comparing differentiable logics for learning with logical constraints","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.03847","snapshot_observed_at":"2026-08-10T21:09:22.150261Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.150261Z"},"links":{"cited_paper":"/paper/2407.03847","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:a70a32eb63485cd28f1684be3d4703628f88724b1ce0d838452c55d09edc9b4b","observation_id":"d5be9799-be5e-42d0-8afe-01f7a7e4c326","resolution":{"observed_at":"2026-08-10T21:09:22.150261Z","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-10T21:09:22.156908Z","title":"In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.156908Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:82bff9a1868c3babcdc6065b75b7ad61cf44858cf346beef1600541a13dfabff","observation_id":"0019653c-f236-4464-9ea1-1f2d912e0225","resolution":{"observed_at":"2026-08-10T21:09:22.156908Z","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-10T21:09:22.163537Z","title":"In: Low-Power Computer Vision, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.163537Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:79b3bee3288674e86cdca5638496e0b033a5d0d8c862aba8f9d256af91a47699","observation_id":"51c42952-ec53-499f-bce7-bd17c73c00c2","resolution":{"observed_at":"2026-08-10T21:09:22.163537Z","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-10T21:09:22.168919Z","title":"(eds.) Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.168919Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:06fe53b2d66a04fffb2ffa792779c2026f093f9bfec53374e9f393656f862ed3","observation_id":"e4a6af5b-b9b5-40b3-9734-74d17c2c4c8a","resolution":{"observed_at":"2026-08-10T21:09:22.168919Z","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-10T21:09:22.174746Z","title":"In: AISafety","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.174746Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:0a8a1e2323ef9576a3ae030294f7edb6a76cec5b1e1dceb81e96a331dc8995f0","observation_id":"bdd4d825-73fb-43fc-b79d-065a98000817","resolution":{"observed_at":"2026-08-10T21:09:22.174746Z","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-10T21:09:22.182457Z","title":"In: Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.182457Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:13bc509508a10f92318f7d129e8b89ab2baf255eb976b3abc51959dcb47c8814","observation_id":"1cd5e5e3-4ff1-4d9e-837b-4cf7c7a6ef93","resolution":{"observed_at":"2026-08-10T21:09:22.182457Z","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-10T21:09:22.190276Z","title":"In: Raedt, L.D","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.190276Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:731587b522aea21a8fd2486db0f49e3ec648abe692f185731d4f112fb7dc29b7","observation_id":"5d214497-1188-4577-b34c-ecc83d8a8ab6","resolution":{"observed_at":"2026-08-10T21:09:22.190276Z","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-10T21:09:22.203555Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.203555Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:ceb1acfd9a6dea1a1930303872ec315e80f31164ebf20c03ef2e033754b98bff","observation_id":"1f8fa438-9d31-43d2-a4b2-b9d42c6d077f","resolution":{"observed_at":"2026-08-10T21:09:22.203555Z","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-10T21:09:22.210617Z","title":"In: Proceedings of the IEEE/CVF International Conference on Computer Vision","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.210617Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:34f53e182a51860d6c07d5d60a60b1575ad093b577b81b56b67d5bd8094597f1","observation_id":"cb138067-4511-4821-89a0-bf5351fc8aa8","resolution":{"observed_at":"2026-08-10T21:09:22.210617Z","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-10T21:09:22.223194Z","title":"ACM Comput","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.223194Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d91c193e267c8d40f616911a40ec27db38d919a937110927599b35685dca7ea0","observation_id":"c8f8c824-c8a0-4900-9124-c41992df808c","resolution":{"observed_at":"2026-08-10T21:09:22.223194Z","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-10T21:09:22.230682Z","title":"In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (June 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.230682Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:42ff6037660a8b960f35d2f2d34351295ef4408075a6902cb7483412cfc367e0","observation_id":"2cfc3697-849a-408d-bd55-1b3cce401b42","resolution":{"observed_at":"2026-08-10T21:09:22.230682Z","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-10T21:09:22.235865Z","title":"In: Proceedings of the AAAI conference on artificial intelligence","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.235865Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b52220141a1225e9823a4b003fc096091d87586181e66a38d0294bf9828e494a","observation_id":"9bac9588-866a-4e69-ac41-8fdb46b31903","resolution":{"observed_at":"2026-08-10T21:09:22.235865Z","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-10T21:09:22.243743Z","title":"IOS Press (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.243743Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:de82a5a4c3240ef5d292246632b0de68d2ef123413dc339f44c03d22245ffd36","observation_id":"09ef2db4-ea14-4dcf-a7a3-fdda5dc71780","resolution":{"observed_at":"2026-08-10T21:09:22.243743Z","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-10T21:09:22.249076Z","title":"In: International Sym- posium on Automated Technology for Verification and Analysis (ATVA) (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.249076Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:0073b818a347101df3dea97307df7f2ca0de95c34602b0878bded9977c846169","observation_id":"022054c0-ec68-4704-993c-42470095cafc","resolution":{"observed_at":"2026-08-10T21:09:22.249076Z","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-10T21:09:22.256373Z","title":"ACM Transactions on Embedded Computing Systems (TECS) 18(5s), 1–22 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.256373Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:a9fe4c864d1568ef0478b9ccf2818f81ec94d29dd024f3f7c10a4fe6cd39db77","observation_id":"0b27e964-f219-46e0-9aff-90bd6941bd59","resolution":{"observed_at":"2026-08-10T21:09:22.256373Z","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-10T21:09:22.261627Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.261627Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:fca82d8c0d7911e141811b16b1f81bbc217a188666d093a80911430052d3c9b2","observation_id":"fe4d2cfc-0e00-44b8-a81f-93339cac871f","resolution":{"observed_at":"2026-08-10T21:09:22.261627Z","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-10T21:09:22.267457Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.267457Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:8eee3e8077269df72cec0e43872f0b09919a47268117bad8eb4b69c84a6a5dd2","observation_id":"85ff2a8e-7823-4365-8279-c9e441abaace","resolution":{"observed_at":"2026-08-10T21:09:22.267457Z","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-10T21:09:22.274737Z","title":"IEEE Std 754-2019 (Revision of IEEE 754-2008) pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.274737Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:2ca1f77eae403a0ca5907399ad7995451626ca92dec127cd70c896757e35a48b","observation_id":"64244098-f8d7-4e7c-8a59-6c65b260989a","resolution":{"observed_at":"2026-08-10T21:09:22.274737Z","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-10T21:09:22.281594Z","title":"In: Proc","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.281594Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:32d3a7849be33258be369a1d11c0f7379975d35981ab78c64e2a5c2bf0fca8c8","observation_id":"9e6c24f5-a3b1-46d1-811f-1100c2301f7d","resolution":{"observed_at":"2026-08-10T21:09:22.281594Z","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-10T21:09:22.289317Z","title":"In: International Conference on Computer-Aided Verification (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.289317Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:29d6eaec6b281cdebf47c64d9589b81b66595e3cdacf854d335cd65c47070184","observation_id":"b0a52102-2afc-41c2-b522-dc685e44dd09","resolution":{"observed_at":"2026-08-10T21:09:22.289317Z","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.1145/3419742","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:22.789769Z","title":"ACM Trans","venue":null,"work_id":"1ecdf8c5-86e7-4ffd-b36f-0f06b0560e1b","year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.296378Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:54ef0d2da4c9cbf066ad639feb1a63feb252ff7cdf45e4fce648b8fe530d4614","observation_id":"d6361f94-b341-4b30-b39c-29846c098b53","resolution":{"observed_at":"2026-08-10T21:09:22.795403Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.303044Z","title":"In: International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.303044Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d5556c9a3241040aa3a31522b2caa07d141bc6aba169577286a71fbc0e4ee1d6","observation_id":"20d8e82f-2f32-494d-94f5-97175cb0dbc5","resolution":{"observed_at":"2026-08-10T21:09:22.303044Z","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":"file/1385974","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:23.811498Z","title":"In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H","venue":null,"work_id":"e306a503-6754-4cdc-b635-b3c597a25eb4","year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.308998Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d2fbb138a448fffea5c85036c0863267e64ec71eac2551b81c23ffb6ef487cd1","observation_id":"e5b82eae-1243-4166-8d6c-734f7945de1f","resolution":{"observed_at":"2026-08-10T21:09:23.818178Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.313874Z","title":"In: Drăgoi, C., Mukherjee, S., Namjoshi, K","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.313874Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:5d13622320333d61f5b6f19819d0bfb2ff89e9bc720f6caf4f29aaf32d5277a0","observation_id":"0465b18c-4117-4d56-9075-9b3473866ffb","resolution":{"observed_at":"2026-08-10T21:09:22.313874Z","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-10T21:09:22.319878Z","title":"In: Frehse, G., Althoff, M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.319878Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:6151490cee021397742cc73a1758ed306dc911b0e0e97536fecb132f3499a981","observation_id":"8ea42091-9282-43e3-87f0-749bdd09d5d6","resolution":{"observed_at":"2026-08-10T21:09:22.319878Z","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.29007/9xgv","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:22.772029Z","title":"In: Frehse, G., Althoff, M","venue":null,"work_id":"6b59a8b7-b045-4b9f-9097-0aa503ac3957","year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.325608Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:4e7db071afe5c0c64aceb5eeff16f7b6c981b8d05fa1e4b18985f8ef415515e0","observation_id":"45c34ef8-595e-4bd8-834a-5ab67380ff4e","resolution":{"observed_at":"2026-08-10T21:09:22.778596Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.329809Z","title":"In: International conference on computer aided verification","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.329809Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:aafa147ae0c5dfc361d2635972acfb2f17f553bc7aaae4295776da83df817edd","observation_id":"6a9bac76-5018-49eb-9c92-8ad8609eb68b","resolution":{"observed_at":"2026-08-10T21:09:22.329809Z","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-10T21:09:22.334172Z","title":"443–452 (07 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.334172Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:cb3ac8a4d641ba51832bc82c73824dd729a3da4cc97c16d300d87a8d02c0f985","observation_id":"7ad76a79-9886-4cd5-9820-d5454a103855","resolution":{"observed_at":"2026-08-10T21:09:22.334172Z","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-10T21:09:22.338490Z","title":"In: NASA Formal Methods","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.338490Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:86af71248f15d54e9591c6d5c236534d0018325c7bcdebe8ab7322af47de0ba1","observation_id":"67ef968a-5764-4724-b755-0189fc23a55c","resolution":{"observed_at":"2026-08-10T21:09:22.338490Z","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-10T21:09:22.342514Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.342514Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:c6eb7bed1eb25eab37bc06d1233ac5d181e907dd98cf808b5379e74a2cc6c8c0","observation_id":"159cc1eb-1aa7-40b2-9de8-9478ca90c73c","resolution":{"observed_at":"2026-08-10T21:09:22.342514Z","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-10T21:09:22.352983Z","title":"NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.352983Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:6dd18f4c2e517afd01e6e1112177ca0a75f4d492dac244294134898a0abb2009","observation_id":"81c24056-010e-4552-9e07-e2655e62baeb","resolution":{"observed_at":"2026-08-10T21:09:22.352983Z","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-10T21:09:22.357761Z","title":"Tutorial at NeurIPS p","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.357761Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b8a1c665bd4756c7c04818b1d4375fc14760b8ad9d9382988622dee21a179ef2","observation_id":"ef108083-77cf-4eed-aa19-71c46c93e0c0","resolution":{"observed_at":"2026-08-10T21:09:22.357761Z","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-10T21:09:22.363744Z","title":"In: Interna- tional Conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.363744Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:db65c7680b24f407d4ae48184e16fe587326b64fd34dadeeb784f3a6704eb612","observation_id":"7527080c-c78d-49a5-be1a-271bb538281d","resolution":{"observed_at":"2026-08-10T21:09:22.363744Z","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-10T21:09:22.368910Z","title":"In: International Confer- ence on Learning Representations (2020),https://openreview.net/forum?id= BkgXT24tDS","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.368910Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:3550fee3a4f4182dcfe2c82edf2b3a4e017e0715a1c15e4670b1fa8d59ff4f35","observation_id":"c6510015-18de-474c-9610-4232cec850ad","resolution":{"observed_at":"2026-08-10T21:09:22.368910Z","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-10T21:09:22.373741Z","title":"ACM Trans","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.373741Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:75d28dd762563a30227e04a06ef41d37d0395055f64edcac5237dfadbdf697b5","observation_id":"1282846a-ddd7-4170-95a5-528a0b41d8fc","resolution":{"observed_at":"2026-08-10T21:09:22.373741Z","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.29007/wfgr","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.920213Z","title":"In: Frehse, G., Althoff, M., Schoitsch, E., Guiochet, J","venue":null,"work_id":"c427a008-9448-4a56-90d5-20aa76d16ec2","year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.379271Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b7a53f409a60d3ed004acd21d95f394c9cd70fdcf9c02991bf3d30adcbf66b29","observation_id":"920fe8e4-3062-4347-85c1-9af9aad6a885","resolution":{"observed_at":"2026-08-10T21:09:24.925751Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.384762Z","title":"In: Frehse, G., Althoff, M","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.384762Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:4a0612d56a0d058c806dfb0fc73aaafde1f26b30d7088ea52bebdcac4927ad17","observation_id":"6ad84824-e688-48e5-b736-24dc706f87a8","resolution":{"observed_at":"2026-08-10T21:09:22.384762Z","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-10T21:09:22.347885Z","title":"https://doi.org/10.1007/978-3-030-64437-6_4 , https: //doi.org/10.1007/978-3-030-64437-6_4","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.347885Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:d7f8321de413dcd660e6894eecd2f22c4843e5886007d950988f58d95338aa64","observation_id":"82b82b80-2e48-4bd6-bf43-c67cfe610e4c","resolution":{"observed_at":"2026-08-10T21:09:22.347885Z","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-10T21:09:22.398019Z","title":"In: Frehse, G., Althoff, M","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.398019Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:ce200e2da62dbba94d88d3050f5c15696fc04371de897845eb53f05322944f18","observation_id":"53add812-cc15-46dc-aefb-8195b643f2b8","resolution":{"observed_at":"2026-08-10T21:09:22.398019Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.885992Z","title":"In: International Conference on Learn- ing Representations (2018)","venue":null,"work_id":"9ccfeb42-dadf-411b-a74b-0cbe8a6931ed","year":2018},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.403402Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:a0ff9f646d008f4c98de98a1b9bf5611a8ca04e265482232ec5084c83ee85ae5","observation_id":"d4c78328-f15e-425d-b219-69221f24d72c","resolution":{"observed_at":"2026-08-10T21:09:24.893472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.408382Z","title":"In: Proceedings of the 22nd ACM SIGPLAN Inter- national Conference on Generative Programming: Concepts and Experiences","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.408382Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:0767753ccbc6dacb1a2f45c3b7c163fe1dfcec218332425882dad4de444ba8ca","observation_id":"00494455-e9d3-48c1-9f9d-37f45339c7a7","resolution":{"observed_at":"2026-08-10T21:09:22.408382Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.904741Z","title":"In: Enea, C., Lal, A","venue":null,"work_id":"2c2b9007-3bd3-455b-a93e-e9b721fff5fd","year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.390518Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:4ee1da19c240439fab491adc415dfdf071f0b7b7f115803e95ff500049a868c1","observation_id":"a6837382-1343-4204-b9a5-f840b9d433e8","resolution":{"observed_at":"2026-08-10T21:09:24.911003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.419704Z","title":"Artificial Intelli- gence 298, 103504 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.419704Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:1a2994bbad26248b4bdf2fcf9a95639debfe539ea60b64016c71334f920ca999","observation_id":"38c6b853-9f2f-4fd6-a3ef-2ce71fa4e8dd","resolution":{"observed_at":"2026-08-10T21:09:22.419704Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.865689Z","title":"In: Workshop on Automated Formal Reasoning for Trustworthy AI Systems (2023)","venue":null,"work_id":"42140a59-cdb3-42d7-8372-4921c85883ac","year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.424803Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:c7dd5ef661f2c2366eb3f706f99f5001158ea99eb6a2bdb20875faf3d5c30a23","observation_id":"f8c914d8-7b16-43b6-ba7d-301e32032a11","resolution":{"observed_at":"2026-08-10T21:09:24.871659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.429239Z","title":"IEEE Transac- tions on Computer-Aided Design of Integrated Circuits and Systems43(4), 1121– 1134 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.429239Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:19cfa76e18a923697a445ad99677f9e547950dd7f83caa9699f7bd62ca7c987b","observation_id":"b388d392-d73d-4dcb-b2ed-e253fb664d27","resolution":{"observed_at":"2026-08-10T21:09:22.429239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14058","last_updated":"2024-08-14T18:45:17Z","snapshot_observed_at":"2026-08-13T00:01:45.307778Z","submitted_at":"2024-05-22T23:06:34Z","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14058","snapshot_observed_at":"2026-08-10T21:09:22.413272Z","title":"https://doi.org/10.48550/ARXIV.2405","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.413272Z"},"links":{"cited_paper":"/paper/2405.14058","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:529d7097574a80f6807e51eb843efb3f44a3f4f9d23dd915d90b3688745198ef","observation_id":"d88ec5fe-37c5-425a-a9d1-d8ab1a1057c4","resolution":{"observed_at":"2026-08-10T21:09:22.413272Z","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-10T21:09:22.437888Z","title":"IEEE Transactions on Computer-Aided Design of In- tegrated Circuits and Systems41(11), 4445–4456 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.437888Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:bdd53e87a53f9efcb35ceeab59556ed1835673e694baeb8d044e8e0e5e5b6908","observation_id":"9fc356d8-b202-47e4-9115-5b9fc910e821","resolution":{"observed_at":"2026-08-10T21:09:22.437888Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.834793Z","title":"In: Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages","venue":null,"work_id":"ece5f590-5da1-47c8-8b1f-caa5ca620ceb","year":2017},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.442683Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b0e55536fde36e5e32f0a70a789487b821d2ddc54da55c631b83270367004ca3","observation_id":"caea8a1e-94a9-4a53-bdf0-4ad28daae968","resolution":{"observed_at":"2026-08-10T21:09:24.841031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.818802Z","title":null,"venue":null,"work_id":"476c1bee-0e8f-4c5a-bffb-6c66df7f21aa","year":2023},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.447262Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:7ad2c7b3ab64f5475d862fa7dbaea4efa3096fd7dddeecdd74b30a9b8a67d18c","observation_id":"80912efc-e025-44a0-8e80-448368b5263b","resolution":{"observed_at":"2026-08-10T21:09:24.824412Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.850665Z","title":"In: Finkbeiner, B., Kovács, L","venue":null,"work_id":"c3b6a712-aa6b-434d-8750-62545e69cf6b","year":2024},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.433981Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:cf56eec1bb10c34eb5fdf1dba75025cb763cc579698bae280a04031a16738f35","observation_id":"78906a7c-fc99-496a-931c-96c60f383a95","resolution":{"observed_at":"2026-08-10T21:09:24.855920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.780515Z","title":"In: Chaudhuri, K., Salakhutdinov, R","venue":null,"work_id":"5ffedcf1-d202-4d14-af61-067514e0e30a","year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.456594Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:57bfbac0a0996ed6cfe1a54e9205002b95367a32e519b6c46d906e445d358070","observation_id":"3b1047cf-7f08-4475-9b44-06a9887639b6","resolution":{"observed_at":"2026-08-10T21:09:24.784972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.03523","last_updated":"2019-06-08T21:23:21Z","snapshot_observed_at":"2026-08-14T16:18:43.974899Z","submitted_at":"2019-06-08T21:23:21Z","title":"Inductive Logic Programming via Differentiable Deep Neural Logic Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.03523","snapshot_observed_at":"2026-08-10T21:09:22.461018Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.461018Z"},"links":{"cited_paper":"/paper/1906.03523","citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:af56efba479ba78876afa65e55b0af8dbc79a1d4d13a24df1e15c9867840c2eb","observation_id":"313d011c-aa02-40e4-949f-d7e3d56e8264","resolution":{"observed_at":"2026-08-10T21:09:22.461018Z","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-10T21:09:22.465544Z","title":"In: Proceedings of the 35th IEEE/ACM Inter- national Conference on Automated Software Engineering","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.465544Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:38cfbd87ff22bef3e42bed87d9a1f5c7d14def6f2246a035d92d133509a06b08","observation_id":"b934a96e-f963-4393-b444-2f7b300d9207","resolution":{"observed_at":"2026-08-10T21:09:22.465544Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.798768Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence","venue":null,"work_id":"709b6f72-8cd6-4a68-98a4-0f2d34a75c04","year":2018},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.451959Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:1178371a24d5b6607c2208adf966790c6f6c3c13ba8e2d236b4fad86388658c3","observation_id":"4a97b0fc-95c2-4809-9c2e-418837fbebbc","resolution":{"observed_at":"2026-08-10T21:09:24.806290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.748962Z","title":"In: Touili, T., Cook, B., Jackson, P","venue":null,"work_id":"b147a650-b3db-409d-9940-9dc0a4f9fb78","year":2010},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.474535Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:e1defdb697ad77031b75abb6dc81acc922c741a1f4ee8417cad1b3ae3348d1e5","observation_id":"12846013-ca08-46b3-97a5-29b4736c6412","resolution":{"observed_at":"2026-08-10T21:09:24.754685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T21:09:22.480143Z","title":"Pattern Recognition 105, 107281 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.480143Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:b8ba46de09ac51cf61967aa86c6472ebce2eb0948fd9408e012520305ce72381","observation_id":"4e626d71-7f10-4cf3-989d-6a4eb9de6417","resolution":{"observed_at":"2026-08-10T21:09:22.480143Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:09:24.733970Z","title":"In: Proc","venue":null,"work_id":"5fd3c3e9-1aa8-43ed-8f3f-c7231e4518b5","year":2021},"citing_paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge","version":2},"reference_index":104,"source":"pdf_text","source_observed_at":"2026-08-10T21:09:22.484749Z"},"links":{"citing_paper":"/paper/2501.05867"},"observation_digest":"sha256:352ac6ff7094247e8160da340471b0ae424572a0c58744d545ab335453877e2e","observation_id":"bee3664b-a401-4fc5-aaf5-f1d17353d64d","resolution":{"observed_at":"2026-08-10T21:09:24.739083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.05867","last_updated":"2025-01-30T14:12:35Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-11T03:59:02.134682Z","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":8,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":73,"verified_exact":8,"verified_fuzzy":9},"total_outbound_references":129},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 100 of 129 outbound references and 1 inbound Pith citation observation for arXiv:2501.05867."}