Paper Citation Record · LEDGER

Random Parameter Noise Does Not Make Exact ReLU Verification Easy

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.14375 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T02:29:22.207969Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact0
verified fuzzy0
unresolved39
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 47777ded-271e-400d-9827-88537e1a561d · outbound

This paper cites Strong mixed-integer programming formulations for trained neural networks.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Strong mixed-integer programming formulations for trained neural networks

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:17.825782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b333853-e9c4-4d1f-879d-98f7ceabba69 · outbound

This paper cites Concentration Inequalities: A Nonasymptotic Theory of Independence.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Concentration Inequalities: A Nonasymptotic Theory of Independence

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:17.910201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 921d744a-308e-45fb-9701-b2e24f65c9fe · outbound

This paper cites an unresolved cited work.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.076923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1245f3e7-8706-4508-9d5f-21e555c52ea1 · outbound

This paper cites Computational complexity of learning neural networks: Smoothness and degeneracy.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Computational complexity of learning neural networks: Smoothness and degeneracy

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.206105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a359d03-680f-4519-add3-9d9fffaf4e13 · outbound

This paper cites Formal verification of piece-wise linear feed-forward neural networks.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Formal verification of piece-wise linear feed-forward neural networks

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.367856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cacacfc8-70d5-4742-8a6f-75b387f12885 · outbound

This paper cites Complexity of injectivity and verification of ReLU neural networks (extended abstract).

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Complexity of injectivity and verification of ReLU neural networks (extended abstract)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.484630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4631651-ce60-44f5-9171-2fa998f3c12e · outbound

This paper cites Parameterized hardness of zonotope containment and neural network verification.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Parameterized hardness of zonotope containment and neural network verification

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.604754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23a9ff2a-8f0b-4574-9fde-ad03ee66e39d · outbound

This paper cites Some optimal inapproximability results.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Some optimal inapproximability results

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.742947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e991bc8-e32d-4015-bdfe-172d44a04b69 · outbound

This paper cites an unresolved cited work.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.879393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 173f45f7-54e6-4f19-b751-55fc9096e6e8 · outbound

This paper cites Dill, Kyle Julian, and Mykel J.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Dill, Kyle Julian, and Mykel J

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:18.991391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b039cd1-8dc1-4c2d-9ca2-cd31df47b625 · outbound

This paper cites Johnson, Lukas Koller, Edoardo Manino, ThanhVu H.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Johnson, Lukas Koller, Edoardo Manino, ThanhVu H

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:19.106306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8160a55-6878-48c3-9d2c-4aa4523d0e83 · outbound

This paper cites Complexity Theory of Real Functions.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Complexity Theory of Real Functions

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:19.271162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0b790f9-8681-4045-b387-22709c0c3f55 · outbound

This paper cites o glin and Berthold V \.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy o glin and Berthold V \

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:19.402045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56136eea-7f32-498d-9073-9c17748f0322 · outbound

This paper cites A convex relaxation barrier to tight robustness verification of neural networks.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy A convex relaxation barrier to tight robustness verification of neural networks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:19.532317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74fdc1fe-fad4-4c20-9508-b8445987b9cc · outbound

This paper cites Reachability is NP -complete even for the simplest neural networks.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Reachability is NP -complete even for the simplest neural networks

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:19.685551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8ad021c-7f04-4ac2-9924-8c5e6c51f877 · outbound

This paper cites Spielman and Shang-Hua Teng.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Spielman and Shang-Hua Teng

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:19.859149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c96ce55-2249-4b52-a7f0-88b0eadca0af · outbound

This paper cites Xiao, and Russ Tedrake.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Xiao, and Russ Tedrake

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.081445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc5d07dc-4612-4b73-8500-5c6f709d80c7 · outbound

This paper cites Oliphant, et al.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Oliphant, et al

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.254323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a390b82-d5f0-42ea-b7e3-2a1ae14a5356 · outbound

This paper cites Zico Kolter.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Zico Kolter

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.424314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1957a681-14a5-459f-b377-ee7f6b75acdb · outbound

This paper cites Spielman and Shang-Hua Teng , title =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Spielman and Shang-Hua Teng , title =

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.593492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8aaaf7f0-fa83-4397-9868-e233e142fa22 · outbound

This paper cites Smoothed Analysis of Integer Programming , journal =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Smoothed Analysis of Integer Programming , journal =

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.758818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 924fcc0a-9975-4f89-ac4d-b30535ec12fa · outbound

This paper cites Some Optimal Inapproximability Results , journal =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Some Optimal Inapproximability Results , journal =

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.890870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4508f860-0861-42ed-9ed5-78f32435541b · outbound

This paper cites Dill and Kyle Julian and Mykel J.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Dill and Kyle Julian and Mykel J

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.927993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c98d91f-fb5f-4626-8474-c375b6a4a468 · outbound

This paper cites Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks , booktitle =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks , booktitle =

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.930119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1bb05d4-1dbc-440a-8b46-b3b4c4d820fc · outbound

This paper cites Xiao and Russ Tedrake , title =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Xiao and Russ Tedrake , title =

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.932058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5d4fed8-3c60-4509-ae68-14d8817a3a76 · outbound

This paper cites an unresolved cited work.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:20.996796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d70bbce7-3a5f-4a7e-8463-479b41c550dd · outbound

This paper cites Zico Kolter , title =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Zico Kolter , title =

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.100318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ddacc29-9824-4445-909f-b221a9fc8af9 · outbound

This paper cites Mathematical Programming , volume =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Mathematical Programming , volume =

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.260304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 246344b2-8dfb-4305-b9b9-883e91371a42 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Advances in Neural Information Processing Systems , volume =

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.390865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06f65a64-d665-44aa-86d8-db23a605872e · outbound

This paper cites Reachability Is.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Reachability Is

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.473412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a82e5df4-a8dc-4a26-bb10-447a8c83636a · outbound

This paper cites Proceedings of the 38th Conference on Learning Theory , series =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Proceedings of the 38th Conference on Learning Theory , series =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.556256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c638d565-54a4-4370-a319-166ce5ad8fe7 · outbound

This paper cites Advances in Neural Information Processing Systems , volume =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Advances in Neural Information Processing Systems , volume =

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.625454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a906a690-98c5-409f-b789-7d05c038c99a · outbound

This paper cites Johnson and Lukas Koller and Edoardo Manino and ThanhVu H.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Johnson and Lukas Koller and Edoardo Manino and ThanhVu H

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.703985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a0c5211-5abf-402e-8182-af4f3d3f3877 · outbound

This paper cites Concentration Inequalities: A Nonasymptotic Theory of Independence , publisher =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Concentration Inequalities: A Nonasymptotic Theory of Independence , publisher =

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.769532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30ceffc2-33b7-4afe-b60d-7be95a11f9cf · outbound

This paper cites 1991 , doi =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy 1991 , doi =

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.846285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 449e1061-106b-44f3-aeba-d35d13242ec5 · outbound

This paper cites Oliphant and others , title =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Oliphant and others , title =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:21.954365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9a850e1-2b5c-4333-b7c0-a419b3c73760 · outbound

This paper cites an unresolved cited work.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:22.037340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 651306ed-9f62-478b-8cb4-e830efc8de7e · outbound

This paper cites International Conference on Learning Representations , year =.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy International Conference on Learning Representations , year =

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:22.117168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6abc5c1-c4c9-4fb8-b5e4-c25405216c59 · outbound

This paper cites Huangfu and I.

Random Parameter Noise Does Not Make Exact ReLU Verification Easy Huangfu and I

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T02:29:22.207969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.