{"as_of":"2026-08-08T23:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e4b14ed1d685df84223d24fbda1f0f99da6e6846c54a7faa35d35d2209084e6e","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:56:21.017651Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.09455/citation-record","integrity":"/paper/2506.09455/integrity","json":"/paper/2506.09455/citation-record.json","paper":"/paper/2506.09455"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:27.257266Z","title":"In: Proc","venue":null,"work_id":"951ac5e0-3d94-4214-966c-336abd41e40a","year":2015},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.402480Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:1d981d027349c717c118bed54b66c31433ef6d1104548cce4da96833adf39e41","observation_id":"1eeca6c3-44f3-4894-ba57-b8ffab13431c","resolution":{"observed_at":"2026-08-07T04:56:27.324922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:27.080229Z","title":"In: Proc","venue":null,"work_id":"8817c8b1-a64f-4100-b073-b3242efd0072","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.469153Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:6f0567155aad22e271a91f279f1c2dc36b41f9352fc5cacbbbe52da02795c0c9","observation_id":"183f8a6c-9965-4716-a467-0e038c9a7cc7","resolution":{"observed_at":"2026-08-07T04:56:27.152972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:26.920875Z","title":"In: Proc","venue":null,"work_id":"181f78bc-a437-463b-a191-b8190545aed2","year":2020},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.528860Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:290960da95cdb2b2fdd45ba63e432b7fc32b40cc9d3c78400036598f20eb582f","observation_id":"0ddd142c-4b8f-4549-96fd-2815507124b8","resolution":{"observed_at":"2026-08-07T04:56:26.982266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:26.732574Z","title":"In: Proc","venue":null,"work_id":"14ad4645-a8fa-43ed-9f4e-6b22518a7ce1","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.621108Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:9ed8bec5db1faf3e83260e063a9303f38d5c5a11a4f6789b9881987b0c4f70b7","observation_id":"c887aa38-17d5-458d-bba7-aba6fa015c02","resolution":{"observed_at":"2026-08-07T04:56:26.822145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:26.560866Z","title":"In: Proc","venue":null,"work_id":"668e30fd-4e1a-4887-b59f-c4a4f4549783","year":2022},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.687652Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:dac60b0c661a64ed73055a27c18dc9c25b3c52d9808427296af86cc1d6722d0e","observation_id":"a3de754e-82cf-485e-8622-a6f37ed0ca2a","resolution":{"observed_at":"2026-08-07T04:56:26.636371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:26.404111Z","title":"In: All about Proofs, Proofs for All, pp","venue":null,"work_id":"c7f0922e-1ef5-4c41-a21a-61f89d150959","year":2015},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.779537Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:aa8ab3e7aaa53c0e81f550349c0b5a48e2fb8f6f76bdcbf427c509ea8df4542b","observation_id":"e9c26a4b-b27a-44dc-b1c0-1063fc54b5d0","resolution":{"observed_at":"2026-08-07T04:56:26.487238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:26.234420Z","title":null,"venue":null,"work_id":"2e0a52e2-fc1a-4110-9019-804468437056","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.785498Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:54f348c0660453e484fd757db1ca6b03aee08f9c6a0e63a0ea51e10f9bc583fe","observation_id":"cd55e7f5-0ee0-49af-9f42-21d63be1dc62","resolution":{"observed_at":"2026-08-07T04:56:26.302582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:26.079128Z","title":"Macmillan (1983)","venue":null,"work_id":"5f9eb2be-7bb4-4af4-802a-961058fe55fc","year":1983},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.790775Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:8d781053fa3cd47e9b076600d487ab24142b86a5cfee9e1d46d41de042cf03d0","observation_id":"51ac00af-02f4-4123-a950-f4ae3de36a32","resolution":{"observed_at":"2026-08-07T04:56:26.169490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.941240Z","title":"In: Proc","venue":null,"work_id":"43a67a28-53ed-4f0e-8af5-e148cdc8521f","year":2000},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.796426Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:c2e4ac5c94ca7786d4923b2d4819ededf4af7f87fb9a221de052c03004001d3a","observation_id":"88398c4e-9f7d-4ec9-876c-d9716bc2d22f","resolution":{"observed_at":"2026-08-07T04:56:26.004539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.812823Z","title":"ACM Trans- actions on Programming Languages and Systems (TOPLAS) p","venue":null,"work_id":"cf4ed6f8-2a35-417e-bf13-4512c891e2ce","year":1994},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.801796Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:7b15769fc8c5f683320e5525ed35dc283be600ebc54d653bf01a9e9703258632","observation_id":"d47e92f2-cecc-4059-80dc-f3ade02d92d2","resolution":{"observed_at":"2026-08-07T04:56:25.871036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.672187Z","title":"In: Proc","venue":null,"work_id":"be478f36-2501-4a27-a468-baa6709124fe","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.809071Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:e1da778ca6981d84725a42ab18b8efe0b3969bff588bb07a99bb2733b3d58d23","observation_id":"a3518517-b97e-49ae-8b3a-87b408100a61","resolution":{"observed_at":"2026-08-07T04:56:25.754748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.545430Z","title":"In: Proc","venue":null,"work_id":"b6d51d0d-e198-438c-ae5f-00108ce54e3a","year":1977},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.814655Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:196ac9fd0b5d847ba3568aba44ba1efca045bc40eb2afd3264839d644527a3d0","observation_id":"d78aeca2-9065-47f6-82f2-e0ddac9cf4f3","resolution":{"observed_at":"2026-08-07T04:56:25.606142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.419500Z","title":"In: Proc","venue":null,"work_id":"321f1527-cd4a-4bbd-9a56-7fbea1396f0d","year":2017},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.820394Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:59c09c4e8a08238f4dc5054bcdd50b9525c8d26548ffc7cf89846a78d029ee88","observation_id":"642d5e75-0723-490b-a757-ea10cb80b6a0","resolution":{"observed_at":"2026-08-07T04:56:25.487943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.280111Z","title":"In: Proc","venue":null,"work_id":"69a21d44-55a7-4576-8682-b1646636e3ba","year":2020},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.826477Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:74fce56ed0a7b80131ac246a98471dd834de627f37b591dd40ae38855a527fe5","observation_id":"55a8d3b9-d62c-4187-97b5-dc4cd0f92770","resolution":{"observed_at":"2026-08-07T04:56:25.369237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.162208Z","title":"In: Proc","venue":null,"work_id":"b2f6ae8f-c17c-477b-801a-6aaa4ae6f629","year":2022},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.832405Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:a9af28d0de5866fb27cf6e721abf858de85ecfa76914b1a91f0e7df51efa1c6f","observation_id":"85f2f0b5-2507-4c4b-ac84-ff630d499cd2","resolution":{"observed_at":"2026-08-07T04:56:25.223375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:25.023532Z","title":"In: Proc","venue":null,"work_id":"f5d535d2-5d04-4a0b-a95e-875195def77a","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.841883Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:7c8693f6d6724b89d08b8e5428cc4e35f19d6e1427c1f176c6185533fce244d4","observation_id":"60bcd1db-53d8-41e7-809d-b935667d35cf","resolution":{"observed_at":"2026-08-07T04:56:25.096532Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:24.809618Z","title":"In: Proc","venue":null,"work_id":"5629ffc9-3f10-4dd4-a31b-fbf4eb260353","year":2018},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.846952Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:c8e5efad20326098175902a87050423c463554336630c6ff5da7b035d6140203","observation_id":"19eecadb-7ae3-4747-b299-eb7c20296179","resolution":{"observed_at":"2026-08-07T04:56:24.937288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:24.602442Z","title":"MIT press Cambridge (2016)","venue":null,"work_id":"814f1238-3771-4f17-8d54-04d536d748ad","year":2016},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.852389Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:a516e1bb387e124c5c653d8f34e78f3859ab2067c49591761296ff54ba995d53","observation_id":"eab31f5d-fc49-48b7-90af-59088ba6afe1","resolution":{"observed_at":"2026-08-07T04:56:24.696068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-08T14:49:59.485488Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-07T04:56:20.857214Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.857214Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:8e72d23a38d7a52a7866f2c2097538486042898ae44835f5d93aa459c75df15a","observation_id":"d1bcc0b4-3470-4752-8db9-dda71cd4c5fa","resolution":{"observed_at":"2026-08-07T04:56:20.857214Z","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-07T04:56:24.446548Z","title":"Formal Methods in System Design (FMSD) pp","venue":null,"work_id":"1a4521dc-ee84-49e7-a703-b1befc13a126","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.862571Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:475b8098cf707b5480c56ed34b882a3f60218f717f2198b7bf2b7a6dccd7232e","observation_id":"e84cec5d-675f-487a-81c9-177d4a6141c7","resolution":{"observed_at":"2026-08-07T04:56:24.535395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:20.867450Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.867450Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:17529c84bab0e6507410377524fc22cb8bf141b43814802478cb486776bcd2af","observation_id":"61d0735a-5171-44f5-827c-855e32f4e3be","resolution":{"observed_at":"2026-08-07T04:56:20.867450Z","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-07T04:56:24.242868Z","title":"In: Proc","venue":null,"work_id":"193e8b29-8cd6-4c63-98e1-d6026a293e90","year":2004},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.872441Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:ad4254e2e7acc8bbb6a0e466fff087691f4b84099bc6a33b08fd21d6864e9998","observation_id":"9cd867e7-0411-4408-ab50-1c8f9acd9f74","resolution":{"observed_at":"2026-08-07T04:56:24.322332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:23.996945Z","title":"In: Proc","venue":null,"work_id":"480ba36b-8596-495d-b6cb-9b0458cfc816","year":2022},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.877564Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:1ee9f1d1b3f368f40e94f8b7ff56c91eb9f4b1c9e0d8fb6ac79ca3347932acbc","observation_id":"f6fa3f91-255c-4840-a17e-e5db63c63ecd","resolution":{"observed_at":"2026-08-07T04:56:24.052691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:20.883098Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.883098Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:0a435c83d3628ed03412fac4757f44bd43a7d8760cec023b7dd24c7924e9af20","observation_id":"c3568ab6-7af8-4835-9687-40a2d270e451","resolution":{"observed_at":"2026-08-07T04:56:20.883098Z","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-07T04:56:23.734570Z","title":"In: Proc","venue":null,"work_id":"b9f1a78c-d6f8-4436-8256-28979917b082","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.888086Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:e5f3bf70655020fb93bfe2e403958fc7a3d5f7ba31f13ad4cc35bced0872b6cf","observation_id":"9b07cabf-475c-4862-b8f2-246ec67d9dcf","resolution":{"observed_at":"2026-08-07T04:56:23.852343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:23.523376Z","title":"In: Proc","venue":null,"work_id":"f6c054ca-ccc2-4cc9-9a58-733111a3249a","year":2017},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.893687Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:b9264865be7849877ea6b69a423a841ea9213db4adfe5938bc35774ffc703433","observation_id":"3ec1dcce-dc21-4039-929f-71264d765620","resolution":{"observed_at":"2026-08-07T04:56:23.649681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:23.290696Z","title":"Formal Methods in System Design (FMSD) (2021)","venue":null,"work_id":"f057d9df-3d5f-4303-b0a8-3bca0beef4ba","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.899376Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:5d8d632cc5e1d4aa854fc2f139c1ea9e5f6e7c42a7aeb61337c32c8ad366013a","observation_id":"5a1288bc-7c2f-4031-80a7-b93239434d48","resolution":{"observed_at":"2026-08-07T04:56:23.408237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:23.112074Z","title":"In: Proc","venue":null,"work_id":"de23c075-5d40-4c7a-a8e0-40903a3c484d","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.904511Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:2d4e6e34688aa3b7436878d024f7b841bae8a7dedd19e4213ff6bc8593f5fcb2","observation_id":"4fbfcd37-21fe-4943-bd10-9d8b23fdb4d4","resolution":{"observed_at":"2026-08-07T04:56:23.230954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:22.910378Z","title":"In: Proc","venue":null,"work_id":"a30e17cb-3af6-4f11-b7af-4ca9e92ee8b1","year":2012},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.909496Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:8621d148658e4e324fc1c42aad8ea251b6d2b3b9bccefa667d386e1d70408ba8","observation_id":"62c61115-8b7d-49d7-9768-c9c00740bcfe","resolution":{"observed_at":"2026-08-07T04:56:23.034905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:22.708340Z","title":"In: Proc","venue":null,"work_id":"10aa4b65-e25b-434a-bf73-c217328cb860","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.914474Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:4a44afb3c6e7e72f832a2e844d945ebae5de82084cca084967378b2fbd66d3e3","observation_id":"f0e1ca8d-0802-400c-9e9c-ae58d89bc1a1","resolution":{"observed_at":"2026-08-07T04:56:22.819087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.01932","last_updated":"2025-07-07T06:06:46Z","snapshot_observed_at":"2026-08-08T14:51:57.058862Z","submitted_at":"2023-05-03T07:13:47Z","title":"Fully Automatic Neural Network Reduction for Formal Verification","version":3},"cited_work":{"arxiv_id":"2305.01932","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.01932","snapshot_observed_at":"2026-08-07T04:56:21.068969Z","title":"Fully Automatic Neural Network Reduction for Formal Verification","venue":"cs.LG","work_id":"18eb0ef3-d9c6-4aef-921c-f77f0eb08f68","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.920047Z"},"links":{"cited_paper":"/paper/2305.01932","citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:4ab8f3a80b1675b19e69ba25c1956e54032b36bda7b6c6baf50021386ce2ca0a","observation_id":"dbf0d21c-87b2-402c-8b51-cb4e473c01ff","resolution":{"observed_at":"2026-08-07T04:56:21.077119Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:22.464178Z","title":"Nature pp","venue":null,"work_id":"3e171805-7392-4e60-b264-6bb5402c26bb","year":2015},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.925485Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:359f381ee09c76127fbcfd21b9921bf3dc93414a0483eb43cfb2a9c2902c3250","observation_id":"a5902d73-e2c7-4b0c-81db-536f8cb3d9a7","resolution":{"observed_at":"2026-08-07T04:56:22.565277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:22.200676Z","title":"Queue pp","venue":null,"work_id":"52eec392-7ec1-4381-a997-2c5791eeeb83","year":2018},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.930898Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:834b32bd5cab8914c314003b2e8899e244f4ab23f377420df97c003411f2b407","observation_id":"ec37a194-beb0-4de7-b3f2-4f03b2f1fbff","resolution":{"observed_at":"2026-08-07T04:56:22.307990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.999359Z","title":"Foundations and Trends in Optimiza- tion pp","venue":null,"work_id":"6b8b85c4-24e4-438e-938d-127e5a0aad44","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.936390Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:5ef33c71d91fa1d232364c28b69133b8df6b50670f4f428927bd68d301fac4c2","observation_id":"602757b6-a23f-4734-b2cb-0b48e980155c","resolution":{"observed_at":"2026-08-07T04:56:22.124662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.805873Z","title":"ACM Transactions on Software Engineering and Methodology (TOSEM) pp","venue":null,"work_id":"31767301-ef67-4616-a6f8-040c70b219ee","year":2024},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.940818Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:4857c0d1cd30d9eaabcea967337c817b523bca77a0b9a1b5999588e0e6f18e8c","observation_id":"f0b72693-ddd2-4d6e-abc7-92d7a690a6d5","resolution":{"observed_at":"2026-08-07T04:56:21.922641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.646689Z","title":"In: Proc","venue":null,"work_id":"29c54521-587a-42b5-81f8-96c709a73b59","year":2024},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.945419Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:8406c04dec6328e8ffbc1af8a84275a386bd4748235c897d28999c1a52fb6124","observation_id":"967da367-0ed7-45e5-bcd2-c5326efec027","resolution":{"observed_at":"2026-08-07T04:56:21.696324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.485456Z","title":"In: Proc","venue":null,"work_id":"5fe6bd71-62c8-483f-b782-79b52255db29","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.951427Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:8c201a4c07963892433710a709a2ef012b713df11c92ed9cf60585bb07405760","observation_id":"956fe5f4-f681-489d-b5de-0fe85ae333d8","resolution":{"observed_at":"2026-08-07T04:56:21.540915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.456165Z","title":"In: Proc","venue":null,"work_id":"faff5a3e-fcb7-46d7-83b5-8527a4e52b8a","year":2010},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.956850Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:1c5b257fc68bafdac85ee19f19c17e1b30c78f5d075e15cfbea6acd2bdbefd1b","observation_id":"515edd94-4998-4889-90ed-0d0e24f7259f","resolution":{"observed_at":"2026-08-07T04:56:21.463050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.436740Z","title":"In: Proc","venue":null,"work_id":"2f543247-6a9f-47b4-b277-e582bf59ff0d","year":2019},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.961815Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:cdefceaffe87d60e62c7eaa826daa9bd0babe1dd23857fdcbac0b68b832d7be6","observation_id":"74b330ff-2c6e-44ba-a290-a8bab20ddcd6","resolution":{"observed_at":"2026-08-07T04:56:21.443589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.419063Z","title":"In: Proc","venue":null,"work_id":"b910340a-a285-49c1-b5ff-dbdf1115f278","year":2022},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.966853Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:2e9e402f83f124e35d3895aa9d7099ab7efd61d61a513e8c4ed5303975d4c17e","observation_id":"44ed44d1-a0df-48bd-b946-31df36c4414e","resolution":{"observed_at":"2026-08-07T04:56:21.424507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.402356Z","title":"In: Proc","venue":null,"work_id":"e29b6fe0-3f5a-4326-a746-ce2c19054f7f","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.971606Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:9d9db05e82d484d236d3f654d8ae2350d34c9078f0515e31c926785b891e4da3","observation_id":"1349a1a0-e6f5-44bd-adab-6ed4a06f2f6f","resolution":{"observed_at":"2026-08-07T04:56:21.407585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.384025Z","title":"In: Proc","venue":null,"work_id":"304d9e51-562e-4512-8648-af9c0c9ff0b7","year":2023},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.976433Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:b6fd7a0274cba1fc9f2d145813a42e0cf76c74226378c4e6ab6a25f2fc94d6c7","observation_id":"48b9e2e7-c8ef-48cb-ad5b-ed89dc014f47","resolution":{"observed_at":"2026-08-07T04:56:21.389119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.365511Z","title":"Nature Machine Intelligence pp","venue":null,"work_id":"08bbe968-ac86-4e36-b392-548f2f7bf358","year":2019},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.981927Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:701bd490e527b11ccf89c791995a169c942c1093ffcdfa36bc2de16b752290fe","observation_id":"33d4ebcd-90d6-4b8c-ac35-d9b24bcf6237","resolution":{"observed_at":"2026-08-07T04:56:21.371239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.348756Z","title":"In: Proc","venue":null,"work_id":"f19ec3f6-c9f3-42e7-8726-8c38eecbbcdb","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.986678Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:443bd3f753448094628520636449a2c3a800815542ba6fe22140cbccfcaca693","observation_id":"4abf5f4e-6d9f-4aa8-8367-2cabe384d713","resolution":{"observed_at":"2026-08-07T04:56:21.354207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.329323Z","title":null,"venue":null,"work_id":"9ee1d32d-0baf-4ad2-8171-8ca16282560e","year":2025},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.991534Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:cf17a57c64f6c0df3569ba59fcf44f3f4b4203e07f29f51d017471cf5c404d61","observation_id":"2ca7054a-6306-4f32-9d55-f951292a462f","resolution":{"observed_at":"2026-08-07T04:56:21.335248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.308142Z","title":"In: Proc","venue":null,"work_id":"8a8c6903-a98e-4d5a-af2a-9fc48c02c687","year":2019},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:20.996586Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:7e9c3a798608768a7b2fdf5b730886cd376061daff7df125a03c229ef507a881","observation_id":"d1e54948-26cf-44f3-a84c-48c34d7aa7f2","resolution":{"observed_at":"2026-08-07T04:56:21.313177Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.290875Z","title":"In: Proc","venue":null,"work_id":"bfb82ffb-c8f2-4e72-9662-59e63954d464","year":2016},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:21.001595Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:9329b6a361f1011e26767f73dbae1c29c01525c8838adb60cdaaf2716243c4bc","observation_id":"d806ed16-923e-46cb-a642-14b6e7fbab9c","resolution":{"observed_at":"2026-08-07T04:56:21.295888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.273023Z","title":"In: Proc","venue":null,"work_id":"d920f6e8-c819-4ac7-aa5c-f5db19419efc","year":2017},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:21.007121Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:20c538a65f2345f8360bcafe0c83d038748c54fd152b027528c7c4f5a14d1497","observation_id":"cb414d60-cdfb-4bb8-ab3c-8b70ad15d91c","resolution":{"observed_at":"2026-08-07T04:56:21.278041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.247764Z","title":"In: Proc","venue":null,"work_id":"285b46c2-8023-429b-994b-24bb07e73c81","year":2024},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:21.012389Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:31f49c7bbfa22e549567516f1e03f07faf0df8ca85e9051c009ec5e1ab2cd672","observation_id":"9a2e7824-7a96-427b-b08c-fcb2e489c5f9","resolution":{"observed_at":"2026-08-07T04:56:21.257270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:56:21.226923Z","title":"In: Proc","venue":null,"work_id":"374e75f0-0bca-49d2-a7e3-f2f1afc18160","year":2021},"citing_paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T04:56:21.017651Z"},"links":{"citing_paper":"/paper/2506.09455"},"observation_digest":"sha256:04064cf4cf536bda40ea78512f0b6f091430bf66fff36f5eb83df6e6934be4b7","observation_id":"0d56452a-c5db-4047-9904-0db76d802009","resolution":{"observed_at":"2026-08-07T04:56:21.232768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.09455","last_updated":"2025-06-11T07:00:09Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T14:50:25.908527Z","submitted_at":"2025-06-11T07:00:09Z","title":"Abstraction-Based Proof Production in Formal Verification of Neural Networks"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":1,"verified_fuzzy":44},"total_outbound_references":50},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2506.09455."}