{"total":28,"rows":[{"id":"2101.06896","title":"DeepPayload: Black-box Backdoor Attack on Deep Learning Models through Neural Payload Injection","created":"2021-01-18","cited_by_count":44,"area":null},{"id":"2212.06140","title":"Fairify: Fairness Verification of Neural Networks","created":"2022-12-08","cited_by_count":22,"area":null},{"id":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"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.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12,"area":null},{"id":"2109.00542","title":"Shared Certificates for Neural Network Verification","created":"2021-09-01","cited_by_count":10,"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":"2203.11629","title":"On Neural Network Equivalence Checking using SMT Solvers","created":"2022-03-22","cited_by_count":10,"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":"2307.08722","title":"Certifying the Fairness of KNN in the Presence of Dataset Bias","created":"2023-07-17","cited_by_count":7,"area":null},{"id":"2112.06582","title":"Geometric Path Enumeration for Equivalence Verification of Neural Networks","created":"2021-12-13","cited_by_count":6,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2405.10143","title":"Relational DNN Verification With Cross Executional Bound Refinement","created":"2024-05-16","cited_by_count":5,"area":null},{"id":"2409.03220","title":"FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks","created":"2024-09-05","cited_by_count":4,"area":null},{"id":"2410.20207","title":"Revisiting Differential Verification: Equivalence Verification with Confidence","created":"2024-10-26","cited_by_count":4,"area":null},{"id":"2106.05325","title":"ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs","created":"2021-06-09","cited_by_count":2,"area":null},{"id":"2112.02819","title":"Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications","created":"2021-12-06","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":"2605.07451","title":"VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification","created":"2026-05-08","cited_by_count":1,"area":null},{"id":"2301.03837","title":"Understanding the Complexity and Its Impact on Testing in ML-Enabled Systems","created":"2023-01-10","cited_by_count":0,"area":null},{"id":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","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":"2409.16726","title":"Formal Local Implication Between Two Neural Networks","created":"2024-09-25","cited_by_count":0,"area":null},{"id":"2507.22760","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2603.13334","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2605.23096","title":"Encrypted Neural Networks without Overflows","created":"2026-05-21","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},{"id":"2609.34904","title":"Reference-Tail Trust:Certified Probability Floors for Learned Updates Inside a Deployed Network","created":"2026-09-28","cited_by_count":0,"area":null}],"next_cursor":null}