{"total":15,"rows":[{"id":"2205.14230","title":"Semi-supervised Semantics-guided Adversarial Training for Trajectory Prediction","created":"2022-05-27","cited_by_count":12,"area":null},{"id":"2207.07626","title":"Computing-In-Memory Neural Network Accelerators for Safety-Critical Systems: Can Small Device Variations Be Disastrous?","created":"2022-07-15","cited_by_count":12,"area":null},{"id":"2304.01218","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","created":"2023-03-31","cited_by_count":12,"area":null},{"id":"2402.19322","title":"Verification of Neural Networks' Global Robustness","created":"2024-02-29","cited_by_count":10,"area":null},{"id":"2303.05000","title":"Learning Representation for Anomaly Detection of Vehicle Trajectories","created":"2023-03-09","cited_by_count":6,"area":null},{"id":"2208.07289","title":"A Tool for Neural Network Global Robustness Certification and Training","created":"2022-08-15","cited_by_count":5,"area":null},{"id":"2505.19932","title":"Logic Gate Neural Networks are Good for Verification","created":"2025-05-26","cited_by_count":4,"area":null},{"id":"2312.06137","title":"Compute-in-Memory based Neural Network Accelerators for Safety-Critical Systems: Worst-Case Scenarios and Protections","created":"2023-12-11","cited_by_count":3,"area":null},{"id":"2312.10911","title":"The Pros and Cons of Adversarial Robustness","created":"2023-12-18","cited_by_count":1,"area":null},{"id":"2501.15446","title":"NP-Hard Lower Bound Complexity for Semantic Self-Verification","created":"2025-01-26","cited_by_count":1,"area":null},{"id":"2507.23197","title":"Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification","created":"2025-07-31","cited_by_count":1,"area":null},{"id":"2608.18900","title":"TestifAI: Tomography-Based Testing for Deep Learning Systems","created":"2026-08-19","cited_by_count":1,"area":null},{"id":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","cited_by_count":0,"area":null},{"id":"2603.02235","title":"Talking with Verifiers: Automatic Specification Generation for Neural Network Verification","created":"2026-02-13","cited_by_count":0,"area":null},{"id":"2608.13118","title":"Branch and Bound for Relational Verification of Neural Networks","created":"2026-08-13","cited_by_count":0,"area":null}],"next_cursor":null}