{"total":21,"rows":[{"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":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2208.09872","title":"Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks","created":"2022-08-21","cited_by_count":8,"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":"2405.10143","title":"Relational DNN Verification With Cross Executional Bound Refinement","created":"2024-05-16","cited_by_count":5,"area":null},{"id":"2212.08567","title":"Optimized Symbolic Interval Propagation for Neural Network Verification","created":"2022-12-15","cited_by_count":4,"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":"2302.06086","title":"Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects","created":"2023-02-13","cited_by_count":3,"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":"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":"2409.16726","title":"Formal Local Implication Between Two Neural Networks","created":"2024-09-25","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}