{"as_of":"2026-08-12T18:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ad9d2c1c93a65e3ee0dc686df2e8c3c403a086737eeb6adb6478ed7951c9992d","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T02:29:22.207969Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.14375/citation-record","integrity":"/paper/2607.14375/integrity","json":"/paper/2607.14375/citation-record.json","paper":"/paper/2607.14375"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:17.825782Z","title":"Strong mixed-integer programming formulations for trained neural networks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:17.825782Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:2de82c1ac57e7a861a3df04bca1decba38e46e9159b736d286c304bfc5e9d05e","observation_id":"47777ded-271e-400d-9827-88537e1a561d","resolution":{"observed_at":"2026-08-02T02:29:17.825782Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:17.910201Z","title":"Concentration Inequalities: A Nonasymptotic Theory of Independence","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:17.910201Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:c4d2592e1ba9fc2b8e69fc13a2b4d48db3f4e6ee908938d8828b67ba22014864","observation_id":"4b333853-e9c4-4d1f-879d-98f7ceabba69","resolution":{"observed_at":"2026-08-02T02:29:17.910201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.076923Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.076923Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:d867f65ee036c7208bde5bea618897ec7d0f3ad7c8ba938103ed768a805a4118","observation_id":"921d744a-308e-45fb-9701-b2e24f65c9fe","resolution":{"observed_at":"2026-08-02T02:29:18.076923Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.206105Z","title":"Computational complexity of learning neural networks: Smoothness and degeneracy","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.206105Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:4727246fc83cc9c72d0946d28447e4645b11f649cf4d87b4eb0d97f7308fe2b1","observation_id":"1245f3e7-8706-4508-9d5f-21e555c52ea1","resolution":{"observed_at":"2026-08-02T02:29:18.206105Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.367856Z","title":"Formal verification of piece-wise linear feed-forward neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.367856Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:6fb9d4eb88842e82ad16e31c3634431afe5152c665919bca578f8fcc8315e637","observation_id":"1a359d03-680f-4519-add3-9d9fffaf4e13","resolution":{"observed_at":"2026-08-02T02:29:18.367856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.484630Z","title":"Complexity of injectivity and verification of ReLU neural networks (extended abstract)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.484630Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:0e82146f2a6f03a1eede261a62515ae7f225fd0eb72a7cad579e42b0a43bf404","observation_id":"cacacfc8-70d5-4742-8a6f-75b387f12885","resolution":{"observed_at":"2026-08-02T02:29:18.484630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.604754Z","title":"Parameterized hardness of zonotope containment and neural network verification","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.604754Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:6795090e319819b3cdc5200530ba864258eef59fe6f15e7289b2dd8c95a91da5","observation_id":"d4631651-ce60-44f5-9171-2fa998f3c12e","resolution":{"observed_at":"2026-08-02T02:29:18.604754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.742947Z","title":"Some optimal inapproximability results","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.742947Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:51056b8a62c26976dac51831fd0647003c889dc501e541b93b852bbbcdbaea87","observation_id":"23a9ff2a-8f0b-4574-9fde-ad03ee66e39d","resolution":{"observed_at":"2026-08-02T02:29:18.742947Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.879393Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.879393Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:ae45044dcbb283e77f7fc738cd6672889a41dbda705d85a320636b4b8615e844","observation_id":"5e991bc8-e32d-4015-bdfe-172d44a04b69","resolution":{"observed_at":"2026-08-02T02:29:18.879393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:18.991391Z","title":"Dill, Kyle Julian, and Mykel J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:18.991391Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:93e46283beb9341ba4b77f59a7a762d9cb13cf273b619afedb4a8ed86e06aae1","observation_id":"173f45f7-54e6-4f19-b751-55fc9096e6e8","resolution":{"observed_at":"2026-08-02T02:29:18.991391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:19.106306Z","title":"Johnson, Lukas Koller, Edoardo Manino, ThanhVu H","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:19.106306Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:c9869d400c6753ccf3a8f8fa11edfe794fe521f06c8111455d78c6bfeb589384","observation_id":"1b039cd1-8dc1-4c2d-9ca2-cd31df47b625","resolution":{"observed_at":"2026-08-02T02:29:19.106306Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:19.271162Z","title":"Complexity Theory of Real Functions","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:19.271162Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:6cc2ce41540e3cf533dc20fec6c2fa6df659e953cfe96ee69247dcf2885ba52a","observation_id":"b8160a55-6878-48c3-9d2c-4aa4523d0e83","resolution":{"observed_at":"2026-08-02T02:29:19.271162Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:19.402045Z","title":"o glin and Berthold V \\","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:19.402045Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:debe22cb1cacb73fe5ad57496f37f4a583129741cd39868ec45fe2622fcfb709","observation_id":"b0b790f9-8681-4045-b387-22709c0c3f55","resolution":{"observed_at":"2026-08-02T02:29:19.402045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:19.532317Z","title":"A convex relaxation barrier to tight robustness verification of neural networks","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:19.532317Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:7ac2c5145dea1e324be761790f9f8e6df3843056122e79ced2a37817eb97d7e3","observation_id":"56136eea-7f32-498d-9073-9c17748f0322","resolution":{"observed_at":"2026-08-02T02:29:19.532317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:19.685551Z","title":"Reachability is NP -complete even for the simplest neural networks","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:19.685551Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:22fe56d2230d1f5dd52ebb07908af69b96264fc9a130e1f4c7f6756634f68410","observation_id":"74fdc1fe-fad4-4c20-9508-b8445987b9cc","resolution":{"observed_at":"2026-08-02T02:29:19.685551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:19.859149Z","title":"Spielman and Shang-Hua Teng","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:19.859149Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:a67e106af14d414f1d0d70afec28ec9075c390bcf248d13e10197edacd0e9efb","observation_id":"d8ad021c-7f04-4ac2-9924-8c5e6c51f877","resolution":{"observed_at":"2026-08-02T02:29:19.859149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.081445Z","title":"Xiao, and Russ Tedrake","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.081445Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:020272e1cd12cd396b76d2f76871b00ac1db8b6838da619a698bc3bf90f13cab","observation_id":"2c96ce55-2249-4b52-a7f0-88b0eadca0af","resolution":{"observed_at":"2026-08-02T02:29:20.081445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.254323Z","title":"Oliphant, et al","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.254323Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:d33a926e90242d9da64a46b2d961247478ed06bf027bd316418e8c65a9092bc8","observation_id":"fc5d07dc-4612-4b73-8500-5c6f709d80c7","resolution":{"observed_at":"2026-08-02T02:29:20.254323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.424314Z","title":"Zico Kolter","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.424314Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:861452763926647619fed1b402f8edd904f44be53ff45b7ce002677e838ed319","observation_id":"9a390b82-d5f0-42ea-b7e3-2a1ae14a5356","resolution":{"observed_at":"2026-08-02T02:29:20.424314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.593492Z","title":"Spielman and Shang-Hua Teng , title =","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.593492Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:b90079e0514cf99073224c217ef9b83a847f90b94c13c92dc790641e9386b328","observation_id":"1957a681-14a5-459f-b377-ee7f6b75acdb","resolution":{"observed_at":"2026-08-02T02:29:20.593492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.758818Z","title":"Smoothed Analysis of Integer Programming , journal =","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.758818Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:3a9821b2f6cee911cf436f78ce11392c19d50ca67022e588e26def4402ba401b","observation_id":"8aaaf7f0-fa83-4397-9868-e233e142fa22","resolution":{"observed_at":"2026-08-02T02:29:20.758818Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.890870Z","title":"Some Optimal Inapproximability Results , journal =","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.890870Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:23e2e961db490d3ac26ce454df30be882809e940118518bd7a2135426aaf1887","observation_id":"924fcc0a-9975-4f89-ac4d-b30535ec12fa","resolution":{"observed_at":"2026-08-02T02:29:20.890870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.927993Z","title":"Dill and Kyle Julian and Mykel J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.927993Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:1f188b0a399db90a2e8adacd386d9c925ad426f618987b95dd120377bdb2759c","observation_id":"4508f860-0861-42ed-9ed5-78f32435541b","resolution":{"observed_at":"2026-08-02T02:29:20.927993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.930119Z","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks , booktitle =","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.930119Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:a081348479ec17003aae3011f893caabd2ea05e6ef9105a39f361e95dbee0887","observation_id":"7c98d91f-fb5f-4626-8474-c375b6a4a468","resolution":{"observed_at":"2026-08-02T02:29:20.930119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.932058Z","title":"Xiao and Russ Tedrake , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.932058Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:8cf639951c2849f6a6d710e52cfe12557ed1d7a1a16a99ae4bdf769e702ead01","observation_id":"a1bb05d4-1dbc-440a-8b46-b3b4c4d820fc","resolution":{"observed_at":"2026-08-02T02:29:20.932058Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:20.996796Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:20.996796Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:6edbe6f5d057c915ca3dbae920add065f3e68bc5e71d8cbd97ebd06a34ae4902","observation_id":"e5d4fed8-3c60-4509-ae68-14d8817a3a76","resolution":{"observed_at":"2026-08-02T02:29:20.996796Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.100318Z","title":"Zico Kolter , title =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.100318Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:9e66c93532ef246de4767d761a4eb4fbdb254fa51f835c24df2a84b76b790a36","observation_id":"d70bbce7-3a5f-4a7e-8463-479b41c550dd","resolution":{"observed_at":"2026-08-02T02:29:21.100318Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.260304Z","title":"Mathematical Programming , volume =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.260304Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:643c93b57adff31574211ee1d1813551060bfe53ac67b2fa1c1231c88f5680b8","observation_id":"9ddacc29-9824-4445-909f-b221a9fc8af9","resolution":{"observed_at":"2026-08-02T02:29:21.260304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.390865Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.390865Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:f575838c2cf2fd6a03e3cc5b578e7f48c32ff49375420085e2bfcbac5c1dde56","observation_id":"246344b2-8dfb-4305-b9b9-883e91371a42","resolution":{"observed_at":"2026-08-02T02:29:21.390865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.473412Z","title":"Reachability Is","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.473412Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:536f19523302e2f8bab714bcdd5c95d8ee13064127e4f37c35e2a06dc6028e1a","observation_id":"06f65a64-d665-44aa-86d8-db23a605872e","resolution":{"observed_at":"2026-08-02T02:29:21.473412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.556256Z","title":"Proceedings of the 38th Conference on Learning Theory , series =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.556256Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:c3860e959a01ceea4bf73548eda06845290b752e16a65186dff965e405c620fb","observation_id":"a82e5df4-a8dc-4a26-bb10-447a8c83636a","resolution":{"observed_at":"2026-08-02T02:29:21.556256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.625454Z","title":"Advances in Neural Information Processing Systems , volume =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.625454Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:0fa14ad247ca0dadb8499cded60154669b9c5baa0901ef993d4d4ae385d6a9c9","observation_id":"c638d565-54a4-4370-a319-166ce5ad8fe7","resolution":{"observed_at":"2026-08-02T02:29:21.625454Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.703985Z","title":"Johnson and Lukas Koller and Edoardo Manino and ThanhVu H","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.703985Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:b86f7645899a8ae3a012a7521833f689db3cfd4a4136bf9a825df5cd7d3da18e","observation_id":"a906a690-98c5-409f-b789-7d05c038c99a","resolution":{"observed_at":"2026-08-02T02:29:21.703985Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.769532Z","title":"Concentration Inequalities: A Nonasymptotic Theory of Independence , publisher =","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.769532Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:ea10492cf86aff7505af27617e1eb714d04b26699d25109f0ce6e8d85cb81cb4","observation_id":"2a0c5211-5abf-402e-8182-af4f3d3f3877","resolution":{"observed_at":"2026-08-02T02:29:21.769532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.846285Z","title":"1991 , doi =","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.846285Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:d06c24329f5a28ebd2767793a539d47abb3119da25e4323494ad647c6e5d1e69","observation_id":"30ceffc2-33b7-4afe-b60d-7be95a11f9cf","resolution":{"observed_at":"2026-08-02T02:29:21.846285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:21.954365Z","title":"Oliphant and others , title =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:21.954365Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:c2a04341cb790fd8799103625f3519d81bf722b6e8969b7baaf561e9ee7168c5","observation_id":"449e1061-106b-44f3-aeba-d35d13242ec5","resolution":{"observed_at":"2026-08-02T02:29:21.954365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:22.037340Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:22.037340Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:52ce711ff9fd347346db15af6c4dc809dc4531133a71f25a6f87b6aa02bf7f71","observation_id":"e9a850e1-2b5c-4333-b7c0-a419b3c73760","resolution":{"observed_at":"2026-08-02T02:29:22.037340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:22.117168Z","title":"International Conference on Learning Representations , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:22.117168Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:570cccf7305bf52b621f7b84207be49fa0c56687d91468e2128957412fed6029","observation_id":"651306ed-9f62-478b-8cb4-e830efc8de7e","resolution":{"observed_at":"2026-08-02T02:29:22.117168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T02:29:22.207969Z","title":"Huangfu and I","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-02T02:29:22.207969Z"},"links":{"citing_paper":"/paper/2607.14375"},"observation_digest":"sha256:d8daaa30d6ce06609d1568d01b6759127a0aca6ff73f7136f4eaab25ffb45f63","observation_id":"f6abc5c1-c4c9-4fb8-b5e4-c25405216c59","resolution":{"observed_at":"2026-08-02T02:29:22.207969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14375","last_updated":"2026-07-15T21:26:20Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-02T02:29:16.765440Z","submitted_at":"2026-07-15T21:26:20Z","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":39,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":39},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.14375."}