{"as_of":"2026-08-09T21:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:428cb3fc301b9a932fcaf534659ffb61cf8d3730fc8fcc599a6e128d6a3a036a","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-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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:c90afb49d88f20943c088c9afce9ee7c6d20938dd9a7fd7940cc6d921dac6dd8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:c58eb8c1531964a66c91775156ae7d9e32350e2b2f9daa5c27dc75ad9f2af140","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:cb63dc8ffc91f761352b86059c08f2151ed03381673770c07131c1425990c970","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:ba8bf0f5c90de0e7f6ca53ca8b0eb79021980375e4c063bda2a671e19478d564","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:bf0008fa3d42026f2a35203cbdbc3073676aa1007491e825aa6d182cb226894c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:6cd45059a0c4eac0e2eed62e9c724a04abb0d5a6925885c55ecfd58936dcb419","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:43cd050b4d515cab388c1a89eb6d70bd0baafdc2ca81352c50a5b6127ce8e10a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:c750faccc5159f5335e61d68d3bfe0851546aa353b476116ebb4409c1beb16f2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:5350f37719f768717b037a5d68923a92e1ea55143d63978fff78cfde0d111d33","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:fcc4192041a8c090edf7c5b2b4be5bfe9edd5af544b4b09a8d3c9b97cbc357ee","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:573cc9f2f71d50a9d4d2d7d524b09da6cd4c493be900ea65c49740fcd9fe24e2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:0a0ec55c82cb8f8dea392159bf702b5ad5a9947604097a8d310f318b65a97e4c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:7b3783b82355be3bb92e160e2700e937a5b7451fe088e052c60f097d559a8f6b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:af0fe321ec559c2d59dd4a1b9a77e0daa72d153c2a5dd1e7684b9c85a1959354","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:3cae4559c2b9d80efd8a6245a04bd0c85c81ab04e5ee4d311a8f63d4eb5619d2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:765933b06b1abd7aa7abccedc0a2c141cd874093875797652ecea27d13432c6c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:84f6fe90b1d5fae72e67fda03c60bc1107562d97fae20ab10b8cc54595cfb4ec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:28ff479934a4a54cf35f3e2bb6472f2c43e2f7f1b1a973f5969d31a447ca4903","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:3b485ee695847339f56650b744701a4ce7dd83a9a5d49362db11b16344ebea19","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:c57e8dfe66fae9c76bbc4f0cd9505841be0b71f958d0a7431dd46bfe01c3b98a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:d979e55389f683a5ba4755c6e6b47cdcc05f6bcdf33ee7041940ff1d69315d9c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:287df74078598157931005ce0bb96548e8681c2d322b51ab2eaabc428f0690f7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:52d68aaf27e85600f4a55a974419a27f424652c9e5072c43b8f01aa1e514bd46","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:8bab59a8ef0dfa72db9895d7655b7cc0b07eec1de20c20492aa1682b098fd379","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:3294d11ccf1561269022f10104c9904f8c6f73cb177673a0cb74c27a8f0576aa","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:2a3bffe5db4e1eb7892a7fc63cec9994cf6191abe4d8a9de1c789cb5ed043079","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:6418bb6e23211fc15268a59349ff2d01e3cb5ceb2611c4eae27331f32400fb6c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:3326185e32c732b6c341776be81ea15371ba8ae3bf267ad703395f771b62f169","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:1e20140621a1f5b272ba3c35f3f4d1791d346c0fb5fbaf466cd03ab8d1adec3a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:70eed5074fc75b8adb8d50e552542cee09b447200eea6a3ee920e1b59071371a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:a2c14513e5cb8e68b2df49946e1d2ab4384670d70a5fa009a86f37fab0109d07","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:edd6589ba0c532b43469f0d3f89f76a8c3bc1e657a955f9689a2841dca003bcc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:05583c2dffd70f0f6b0277ac323f217b2d3f62edc5297bb14265ec4d60c9d4d5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:2993fdc49bb8eb853ab951d28dcad90c4a0c7e844de942ece713daca1cbf653d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:c873bf0045100628130fc1c117de470d5c3dc8a0c407bbe8cefd294b12b3215a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:959c279fd2498cccad80314a97df685b89748e1c41c3f8cbf4297a149034c2b5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:0b2cf740b0023b3d47512950559889f5952a424c5f369767058d57d763faaa67","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:4f27440e8499a0e4f3a3bafc65547eef8a0d86b1ed470ae81863960610a917f4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:33f9da5d5dd49c67aeb9fc5a5c3a678ea85115faf7c2efb4da6f4130fb41d121","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:dc11141a8c1770b5e02448c1c33cd2c95f8ecb02efbb2560c7446cf84069aeea","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:63e8aa591119c2059075b9cfd0dd421e1b786463ac43a4f87b06126a39802b93","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:87b4ec41eb550844f79b41195cf40978714d6fec6a17caf40aef0911ebfacfdc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:8f7d69ca3221a59d4a9b4bd0c6a9fc6741b6c3c7f732a5e0dbbdfbe7c52666b9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:213218e365da5f268e1236a321a4673d54bb3b333f45e30f39479f05658b6138","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:70b3aa4970e057d75c2e26609fd452fb0b77f4cc3689996fbdb058953c71eb5c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:b92c05239bcf46c5e78278f37fef4572689d867d0ad33f00c2ec410cd511f3ec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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:49c3a96201a9bf162b5c89839ad272f6a2d02c43feb9148b0781ebd1c0c8c9ed","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2506.09455."}