Specification Generation for Neural Networks in Systems | Paper Citation Record

Observation 43a5920c-6a1b-4068-86f7-d5795dc5bbbc · outbound

This paper cites write newline.

Specification Generation for Neural Networks in Systems write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.008380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0a3fc08-49b9-4ebc-8202-79feffc2534c · outbound

This paper cites Maximal specification synthesis.

Specification Generation for Neural Networks in Systems Maximal specification synthesis

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.016226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4149e28a-e651-4222-8bcb-5a098b55c35c · outbound

This paper cites an unresolved cited work.

Specification Generation for Neural Networks in Systems Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.022768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c859a0d-c86a-492f-8bb2-eee5b7e073f0 · outbound

This paper cites Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie.

Specification Generation for Neural Networks in Systems Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.029174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ae06987-72d7-4606-9666-d15e6aa3c8f9 · outbound

This paper cites Madhusudan, and Tao Xie.

Specification Generation for Neural Networks in Systems Madhusudan, and Tao Xie

Reference 5

Resolution: verified exact; doi, observed 2026-08-11T22:57:11.586638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation abe43d4e-53ca-48a1-8703-742cc742ae8a · outbound

This paper cites Madhusudan, and Sayan Mitra.

Specification Generation for Neural Networks in Systems Madhusudan, and Sayan Mitra

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.040270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa16a610-b541-4de9-97af-251b5a82b3d2 · outbound

This paper cites Synthesizing Robust Adversarial Examples.

Specification Generation for Neural Networks in Systems Synthesizing Robust Adversarial Examples

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.045573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4a4876e-563c-48c2-bff3-fedad90da23f · outbound

This paper cites Developing a predictive model of quality of experience for internet video.

Specification Generation for Neural Networks in Systems Developing a predictive model of quality of experience for internet video

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.051697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18981b45-7616-4f1b-8657-55c5eb2ab528 · outbound

This paper cites Certifying geometric robustness of neural networks.

Specification Generation for Neural Networks in Systems Certifying geometric robustness of neural networks

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.365095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 78ae049e-fb00-4edd-8f90-33e35fd91c8e · outbound

This paper cites The Satisfiability Modulo Theories Library (SMT-LIB).

Specification Generation for Neural Networks in Systems The Satisfiability Modulo Theories Library (SMT-LIB)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.345467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f5d3b4e5-7409-4e1e-9d22-0e29c9c6180c · outbound

This paper cites Specification inference using context-free language reachability.

Specification Generation for Neural Networks in Systems Specification inference using context-free language reachability

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.068385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d951d692-3030-4df8-8da6-8abe37074a01 · outbound

This paper cites an unresolved cited work.

Specification Generation for Neural Networks in Systems Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:57:13.327606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b3dcc975-5d0d-4424-ae61-7dee55d8e131 · outbound

This paper cites Stephen Gunn, Soheil Hassas Yeganeh, and Van Jacobson.

Specification Generation for Neural Networks in Systems Stephen Gunn, Soheil Hassas Yeganeh, and Van Jacobson

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.078720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27d1e931-a715-43a7-bb6d-a6d92bf43491 · outbound

This paper cites Property-driven evaluation of rl-controllers in self-driving datacenters.

Specification Generation for Neural Networks in Systems Property-driven evaluation of rl-controllers in self-driving datacenters

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.305178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8ef3ba0c-505d-442c-acf9-15cc9706a1cb · outbound

This paper cites Comet: Neural cost model explanation framework.

Specification Generation for Neural Networks in Systems Comet: Neural cost model explanation framework

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.287768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 08167fac-7423-4024-9b0f-affda12d5855 · outbound

This paper cites Z3: an efficient smt solver.

Specification Generation for Neural Networks in Systems Z3: an efficient smt solver

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.268993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 60f1cbcf-cb75-4fb5-bad8-1ed95d20411f · outbound

This paper cites Supporting standardization of neural networks verification with vnnlib and coconet.

Specification Generation for Neural Networks in Systems Supporting standardization of neural networks verification with vnnlib and coconet

Reference 17

Resolution: malformed identifier; doi_truncated, observed 2026-08-11T22:57:11.406160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7e77480b-c1d6-45ac-9b2e-ec9c7dcd402e · outbound

This paper cites The mnist database of handwritten digit images for machine learning research [best of the web].

Specification Generation for Neural Networks in Systems The mnist database of handwritten digit images for machine learning research [best of the web]

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.108077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 783a287f-0e15-49ac-8063-c507b42474d9 · outbound

This paper cites PCC vivace: Online-Learning congestion control.

Specification Generation for Neural Networks in Systems PCC vivace: Online-Learning congestion control

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.247620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ed64ae70-3d46-4003-a673-ccc1a06964c1 · outbound

This paper cites Verifying learning-augmented systems.

Specification Generation for Neural Networks in Systems Verifying learning-augmented systems

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.222543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 76c4bfce-2122-4602-b0ea-d80e44b0294a · outbound

This paper cites Ernst, Jake Cockrell, William G.

Specification Generation for Neural Networks in Systems Ernst, Jake Cockrell, William G

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T22:57:12.200981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b3fc53e6-969f-4602-9269-9319c6ede673 · outbound

This paper cites A density-based algorithm for discovering clusters in large spatial databases with noise.

Specification Generation for Neural Networks in Systems A density-based algorithm for discovering clusters in large spatial databases with noise

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.129851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa5cf8d7-766a-407c-87cb-b5eb2a9a9d6c · outbound

This paper cites Robust Physical-World Attacks on Deep Learning Models.

Specification Generation for Neural Networks in Systems Robust Physical-World Attacks on Deep Learning Models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.135438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcd7b10d-8271-4ba2-8bab-02ac682c4a88 · outbound

This paper cites Complete verification via multi-neuron relaxation guided branch-and-bound.

Specification Generation for Neural Networks in Systems Complete verification via multi-neuron relaxation guided branch-and-bound

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.187911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bcc261e1-9cf2-4fe8-9cff-a9b264aaa284 · outbound

This paper cites Ai2: Safety and robustness certification of neural networks with abstract interpretation.

Specification Generation for Neural Networks in Systems Ai2: Safety and robustness certification of neural networks with abstract interpretation

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.145678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34134f55-4cdb-4fe1-ba02-a24111125f52 · outbound

This paper cites Towards reliable neural specifications.

Specification Generation for Neural Networks in Systems Towards reliable neural specifications

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.168200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d4b7535c-6dca-4563-a715-f009fabf8591 · outbound

This paper cites Learning Minimal Neural Specifications.

Specification Generation for Neural Networks in Systems Learning Minimal Neural Specifications

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.156671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef34fe8f-da6b-4a2e-ae7d-d07c2f540645 · outbound

This paper cites Cubic: a new tcp-friendly high-speed tcp variant.

Specification Generation for Neural Networks in Systems Cubic: a new tcp-friendly high-speed tcp variant

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.145220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 5e18cae4-3d23-4342-a0c2-1f4b848b36e9 · outbound

This paper cites Data Mining: Concepts and Techniques.

Specification Generation for Neural Networks in Systems Data Mining: Concepts and Techniques

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.127353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0421c728-ed93-4f58-83d9-bad2be1b5b2f · outbound

This paper cites Characterizing neural network verification for systems with NN4SysBench.

Specification Generation for Neural Networks in Systems Characterizing neural network verification for systems with NN4SysBench

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.103759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c97b92c8-2615-4304-baf9-980a2d5e8803 · outbound

This paper cites an unresolved cited work.

Specification Generation for Neural Networks in Systems Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:57:13.083343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e37e8b6b-4976-4f50-9021-1e2edade9908 · outbound

This paper cites A buffer-based approach to rate adaptation: Evidence from a large video streaming service.

Specification Generation for Neural Networks in Systems A buffer-based approach to rate adaptation: Evidence from a large video streaming service

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.061714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b44ce24a-3d73-40dd-ba36-1d09d9336994 · outbound

This paper cites Neural Network Branch-and-Bound for Neural Network Verification.

Specification Generation for Neural Networks in Systems Neural Network Branch-and-Bound for Neural Network Verification

Reference 33

Resolution: verified exact; local_arxiv, observed 2026-08-11T22:57:11.962405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c6d5ec9b-836a-4b2d-a95a-8c09080252bd · outbound

This paper cites A deep reinforcement learning perspective on internet congestion control.

Specification Generation for Neural Networks in Systems A deep reinforcement learning perspective on internet congestion control

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.038793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f30eca8c-aedd-4358-904d-1e0be889cf18 · outbound

This paper cites When Machine Learning Meets Congestion Control: A Survey and Comparison.

Specification Generation for Neural Networks in Systems When Machine Learning Meets Congestion Control: A Survey and Comparison

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-08-11T22:57:11.932777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fe893030-027b-48f3-b48d-e4060a4e6750 · outbound

This paper cites Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Specification Generation for Neural Networks in Systems Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.207575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a26b3e1-221b-4cd7-9bf6-311124399c03 · outbound

This paper cites Towards instance-optimized data systems.

Specification Generation for Neural Networks in Systems Towards instance-optimized data systems

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:13.015024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 42626cb8-c0c4-4ab5-a9bd-fa6502716134 · outbound

This paper cites General ltl specification mining (t).

Specification Generation for Neural Networks in Systems General ltl specification mining (t)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.219667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85f9df20-53da-43aa-901a-8713b298fd95 · outbound

This paper cites Exploring practical vulnerabilities of machine learning-based wireless systems.

Specification Generation for Neural Networks in Systems Exploring practical vulnerabilities of machine learning-based wireless systems

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.996312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1eb4515b-3c65-42e4-9a15-4db6b20e0c50 · outbound

This paper cites Towards Deep Learning Models Resistant to Adversarial Attacks.

Specification Generation for Neural Networks in Systems Towards Deep Learning Models Resistant to Adversarial Attacks

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.230235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01c6154e-bbf2-49c7-85a0-96843ff56461 · outbound

This paper cites Neural adaptive video streaming with pensieve.

Specification Generation for Neural Networks in Systems Neural adaptive video streaming with pensieve

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.975009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 862f17b6-553a-474d-8a6a-0bd6d3e4d502 · outbound

This paper cites Learning Scheduling Algorithms for Data Processing Clusters.

Specification Generation for Neural Networks in Systems Learning Scheduling Algorithms for Data Processing Clusters

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.241081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69010dbd-e6b4-495f-9a6c-e7de5a638ae4 · outbound

This paper cites Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks.

Specification Generation for Neural Networks in Systems Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks

Reference 43

Resolution: verified exact; local_arxiv, observed 2026-08-11T22:57:11.837012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bb61087f-ca4d-406b-90d1-62081c3f13f0 · outbound

This paper cites Interpreting deep learning-based networking systems.

Specification Generation for Neural Networks in Systems Interpreting deep learning-based networking systems

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.952103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation dc086a8b-8c57-4692-9cab-573266458b67 · outbound

This paper cites Robustness Certification of Generative Models.

Specification Generation for Neural Networks in Systems Robustness Certification of Generative Models

Reference 45

Resolution: verified exact; local_arxiv, observed 2026-08-11T22:57:11.799573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6379bcb7-3be4-4285-8dad-54b82e3d7674 · outbound

This paper cites Synthesizing specifications, 2023.

Specification Generation for Neural Networks in Systems Synthesizing specifications, 2023

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.934000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation eda5cf79-37f5-4147-a23d-4b525ff7f7f6 · outbound

This paper cites Adaptive bitrate selection: A survey.

Specification Generation for Neural Networks in Systems Adaptive bitrate selection: A survey

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.913691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2484586f-4f2a-4e9c-9da9-41358bff8934 · outbound

This paper cites Seshia, Ankush Desai, Tommaso Dreossi, Daniel J.

Specification Generation for Neural Networks in Systems Seshia, Ankush Desai, Tommaso Dreossi, Daniel J

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.895627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 00789309-545f-4a6f-a062-646fdc763a0b · outbound

This paper cites An abstract domain for certifying neural networks.

Specification Generation for Neural Networks in Systems An abstract domain for certifying neural networks

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.277695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad2b4f4b-752f-414d-849f-26353601befa · outbound

This paper cites Intriguing properties of neural networks.

Specification Generation for Neural Networks in Systems Intriguing properties of neural networks

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.283052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a2157b4-954b-4b5d-bc0e-bb76a136b4c7 · outbound

This paper cites Building verified neural networks for computer systems with ouroboros.

Specification Generation for Neural Networks in Systems Building verified neural networks for computer systems with ouroboros

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.871667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0c0f8858-da98-4af7-b7ea-24eaf66a65ef · outbound

This paper cites Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.

Specification Generation for Neural Networks in Systems Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.293730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd83072-02ab-40a3-a7da-6c7c268b4123 · outbound

This paper cites Stochastic forecasts achieve high throughput and low delay over cellular networks.

Specification Generation for Neural Networks in Systems Stochastic forecasts achieve high throughput and low delay over cellular networks

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.853366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 613a52d5-c625-4185-ada0-e1718adfb28f · outbound

This paper cites Scalable verification of gnn-based job schedulers.

Specification Generation for Neural Networks in Systems Scalable verification of gnn-based job schedulers

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.829947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d0686f7b-b32d-433d-9208-9e807ec78f9b · outbound

This paper cites Automatic perturbation analysis for scalable certified robustness and beyond.

Specification Generation for Neural Networks in Systems Automatic perturbation analysis for scalable certified robustness and beyond

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.808887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 822fd003-ba22-4063-b4cb-930c1aaa70fb · outbound

This paper cites Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.

Specification Generation for Neural Networks in Systems Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.315769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b7730a3-745d-477f-a9b7-cd065cd13d84 · outbound

This paper cites Yan, Jestin Ma, Greg D.

Specification Generation for Neural Networks in Systems Yan, Jestin Ma, Greg D

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.790637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3d1d788b-3809-4220-9a5f-0e35a8542f80 · outbound

This paper cites Provable defense against geometric transformations.

Specification Generation for Neural Networks in Systems Provable defense against geometric transformations

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.770384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation aa46e715-0c5f-4c60-ad89-73a2f539dc33 · outbound

This paper cites A control-theoretic approach for dynamic adaptive video streaming over http.

Specification Generation for Neural Networks in Systems A control-theoretic approach for dynamic adaptive video streaming over http

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:57:12.750361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 18152e83-9d3e-4e84-a2d5-577f64c7ca63 · outbound

This paper cites an unresolved cited work.

Specification Generation for Neural Networks in Systems Unresolved cited work

Reference 60

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T22:57:11.691713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers