{"total":56,"rows":[{"id":"2212.14315","title":"\"Real Attackers Don't Compute Gradients\": Bridging the Gap Between Adversarial ML Research and Practice","created":"2022-12-29","cited_by_count":56,"area":null},{"id":"2210.13915","title":"Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks","created":"2022-10-25","cited_by_count":42,"area":null},{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"area":null},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"area":null},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"area":null},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2305.05172","title":"Logic for Explainable AI","created":"2023-05-09","cited_by_count":23,"area":null},{"id":"2206.00512","title":"Neural Network Verification with Proof Production","created":"2022-06-01","cited_by_count":22,"area":null},{"id":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20,"area":null},{"id":"2301.07068","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","created":"2023-01-17","cited_by_count":19,"area":null},{"id":"2308.09842","title":"Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees","created":"2023-08-18","cited_by_count":19,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2202.07183","title":"A Survey of Neural Trojan Attacks and Defenses in Deep Learning","created":"2022-02-15","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2101.10102","title":"Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning","created":"2021-01-25","cited_by_count":12,"area":null},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-06","cited_by_count":12,"area":null},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12,"area":null},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"area":null},{"id":"2402.11995","title":"Network Inversion of Binarised Neural Nets","created":"2024-02-19","cited_by_count":11,"area":null},{"id":"2201.13351","title":"LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions","created":"2022-01-31","cited_by_count":10,"area":null},{"id":"2110.09026","title":"Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling","created":"2021-10-18","cited_by_count":9,"area":null},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2110.15764","title":"{\\epsilon}-weakened Robustness of Deep Neural Networks","created":"2021-10-29","cited_by_count":8,"area":null},{"id":"2308.05985","title":"TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models","created":"2023-08-11","cited_by_count":8,"area":null},{"id":"2208.07669","title":"On Optimizing Back-Substitution Methods for Neural Network Verification","created":"2022-08-16","cited_by_count":6,"area":null},{"id":"2305.09247","title":"Rounding Meets Approximate Model Counting","created":"2023-05-16","cited_by_count":6,"area":null},{"id":"2106.07214","title":"Backdoor Learning Curves: Explaining Backdoor Poisoning Beyond Influence Functions","created":"2021-06-14","cited_by_count":5,"area":null},{"id":"2208.08609","title":"A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables","created":"2022-08-18","cited_by_count":4,"area":null},{"id":"2405.17556","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","created":"2024-05-27","cited_by_count":4,"area":null},{"id":"2511.08198","title":"Proof Minimization in Neural Network Verification","created":"2025-11-11","cited_by_count":4,"area":null},{"id":"2305.18558","title":"DelBugV: Delta-Debugging Neural Network Verifiers","created":"2023-05-29","cited_by_count":3,"area":null},{"id":"2312.11936","title":"Exact ASP Counting with Compact Encodings","created":"2023-12-19","cited_by_count":3,"area":null},{"id":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"area":null},{"id":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","cited_by_count":3,"area":null},{"id":"2110.09171","title":"Projected Model Counting: Beyond Independent Support","created":"2021-10-18","cited_by_count":2,"area":null},{"id":"2201.03829","title":"Quantifying Robustness to Adversarial Word Substitutions","created":"2022-01-11","cited_by_count":2,"area":null},{"id":"2212.09390","title":"Fast Converging Anytime Model Counting","created":"2022-12-19","cited_by_count":2,"area":null},{"id":"2302.06455","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","created":"2023-02-10","cited_by_count":2,"area":null},{"id":"2406.02024","title":"Verifying the Generalization of Deep Learning to Out-of-Distribution Domains","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2312.05890","title":"Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing","created":"2023-12-10","cited_by_count":1,"area":null},{"id":"2312.15877","title":"PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas","created":"2023-12-26","cited_by_count":1,"area":null},{"id":"2405.17049","title":"Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization","created":"2024-05-27","cited_by_count":1,"area":null},{"id":"2406.11414","title":"Formally Certified Approximate Model Counting","created":"2024-06-17","cited_by_count":1,"area":null},{"id":"2603.14818","title":"SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2307.15907","title":"An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks","created":"2023-07-29","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2405.20556","title":"Certifying Global Robustness for Deep Neural Networks","created":"2024-05-31","cited_by_count":0,"area":null},{"id":"2504.05874","title":"Systematic Parameter Decision in Approximate Model Counting","created":"2025-04-08","cited_by_count":0,"area":null},{"id":"2507.02916","title":"Efficient Certified Reasoning for Binarized Neural Networks","created":"2025-06-25","cited_by_count":0,"area":null},{"id":"2507.18612","title":"Approximate SMT Counting Beyond Discrete Domains","created":"2025-07-24","cited_by_count":0,"area":null},{"id":"2510.04480","title":"FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion","created":"2025-10-06","cited_by_count":0,"area":null},{"id":"2510.15583","title":"Attn-JGNN: Attention Enhanced Join-Graph Neural Networks","created":"2025-10-17","cited_by_count":0,"area":null},{"id":"2609.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","cited_by_count":0,"area":null},{"id":"2609.39768","title":"Security Properties of Neural Networks as Decision Problems","created":"2026-09-30","cited_by_count":0,"area":"safety"}],"next_cursor":null}