{"total":50,"rows":[{"id":"2110.01167","title":"Trustworthy AI: From Principles to Practices","created":"2021-10-04","cited_by_count":207,"area":null},{"id":"2103.03638","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","created":"2021-03-05","cited_by_count":77,"area":null},{"id":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"area":null},{"id":"2312.05735","title":"A Comprehensive Survey on Multi-modal Conversational Emotion Recognition with Deep Learning","created":"2023-12-10","cited_by_count":32,"area":null},{"id":"2102.05289","title":"Bayesian Inference with Certifiable Adversarial Robustness","created":"2021-02-10","cited_by_count":26,"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":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24,"area":null},{"id":"2105.12841","title":"DNNV: A Framework for Deep Neural Network Verification","created":"2021-05-26","cited_by_count":23,"area":null},{"id":"2205.05763","title":"Individual Fairness Guarantees for Neural Networks","created":"2022-05-11","cited_by_count":23,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2303.01713","title":"Convex Bounds on the Softmax Function with Applications to Robustness Verification","created":"2023-03-03","cited_by_count":19,"area":null},{"id":"2103.16652","title":"Robustness Certification for Point Cloud Models","created":"2021-03-30","cited_by_count":16,"area":null},{"id":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2104.00447","title":"Towards Evaluating and Training Verifiably Robust Neural Networks","created":"2021-04-01","cited_by_count":15,"area":null},{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2402.01096","title":"Trustworthy Distributed AI Systems: Robustness, Privacy, and Governance","created":"2024-02-02","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":"2202.07201","title":"Holistic Adversarial Robustness of Deep Learning Models","created":"2022-02-15","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":"2204.05687","title":"3DeformRS: Certifying Spatial Deformations on Point Clouds","created":"2022-04-12","cited_by_count":10,"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":"2308.05985","title":"TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models","created":"2023-08-11","cited_by_count":8,"area":null},{"id":"2103.13598","title":"Recent Advances in Large Margin Learning","created":"2021-03-25","cited_by_count":7,"area":null},{"id":"2211.14207","title":"Invariance-Aware Randomized Smoothing Certificates","created":"2022-11-25","cited_by_count":7,"area":null},{"id":"2201.01235","title":"On the Minimal Adversarial Perturbation for Deep Neural Networks with Provable Estimation Error","created":"2022-01-04","cited_by_count":6,"area":null},{"id":"2403.07956","title":"DeepCDCL: An CDCL-based Neural Network Verification Framework","created":"2024-03-12","cited_by_count":6,"area":null},{"id":"2102.01208","title":"Fast Training of Provably Robust Neural Networks by SingleProp","created":"2021-02-01","cited_by_count":5,"area":null},{"id":"2207.07539","title":"3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models","created":"2022-07-15","cited_by_count":5,"area":null},{"id":"2301.11912","title":"OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks","created":"2023-01-27","cited_by_count":5,"area":null},{"id":"2112.05235","title":"The Fundamental Limits of Interval Arithmetic for Neural Networks","created":"2021-12-09","cited_by_count":4,"area":null},{"id":"2508.09320","title":"Exact Verification of Graph Neural Networks with Incremental Constraint Solving","created":"2025-08-12","cited_by_count":4,"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":"2406.11522","title":"FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks","created":"2024-06-17","cited_by_count":2,"area":null},{"id":"2101.11717","title":"Overestimation learning with guarantees","created":"2021-01-26","cited_by_count":1,"area":null},{"id":"2105.07776","title":"DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification","created":"2021-05-17","cited_by_count":1,"area":null},{"id":"2108.11299","title":"Certifiers Make Neural Networks Vulnerable to Availability Attacks","created":"2021-08-25","cited_by_count":1,"area":null},{"id":"2211.09810","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","created":"2022-11-13","cited_by_count":1,"area":null},{"id":"2301.11324","title":"Certified Interpretability Robustness for Class Activation Mapping","created":"2023-01-26","cited_by_count":1,"area":null},{"id":"2303.11552","title":"Boosting Verified Training for Robust Image Classifications via Abstraction","created":"2023-03-21","cited_by_count":1,"area":null},{"id":"2304.07980","title":"RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks","created":"2023-04-17","cited_by_count":1,"area":null},{"id":"2508.13481","title":"Enhancing Robustness of Implicit Neural Representations Against Weight Perturbations","created":"2025-08-19","cited_by_count":1,"area":null},{"id":"2210.00178","title":"On the tightness of linear relaxation based robustness certification methods","created":"2022-10-01","cited_by_count":0,"area":null},{"id":"2301.07474","title":"Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy","created":"2023-01-18","cited_by_count":0,"area":null},{"id":"2310.20299","title":"Verification of Neural Networks Local Differential Classification Privacy","created":"2023-10-31","cited_by_count":0,"area":null},{"id":"2311.10780","title":"Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2401.05338","title":"STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers","created":"2023-11-28","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":"2406.00699","title":"Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation","created":"2024-06-02","cited_by_count":0,"area":null},{"id":"2410.17628","title":"Is Smoothness the Key to Robustness? A Comparison of Attention and Convolution Models Using a Novel Metric","created":"2024-10-23","cited_by_count":0,"area":null},{"id":"2412.10186","title":"MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs","created":"2024-12-13","cited_by_count":0,"area":null}],"next_cursor":null}