{"total":14,"rows":[{"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":"2301.12554","title":"Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing","created":"2023-01-29","cited_by_count":18,"area":null},{"id":"2201.01965","title":"Efficient Global Optimization of Two-Layer ReLU Networks: Quadratic-Time Algorithms and Adversarial Training","created":"2022-01-06","cited_by_count":15,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2309.13794","title":"Projected Randomized Smoothing for Certified Adversarial Robustness","created":"2023-09-25","cited_by_count":11,"area":null},{"id":"2302.01961","title":"Asymmetric Certified Robustness via Feature-Convex Neural Networks","created":"2023-02-03","cited_by_count":8,"area":null},{"id":"2105.12237","title":"Practical Convex Formulation of Robust One-hidden-layer Neural Network Training","created":"2021-05-25","cited_by_count":4,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2410.00796","title":"Fast and Reliable $N-k$ Contingency Screening with Input-Convex Neural Networks","created":"2024-10-01","cited_by_count":3,"area":null},{"id":"2101.09306","title":"Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification","created":"2021-01-22","cited_by_count":2,"area":null},{"id":"2211.14706","title":"Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions","created":"2022-11-27","cited_by_count":2,"area":null},{"id":"2310.04916","title":"Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks","created":"2023-10-07","cited_by_count":2,"area":null},{"id":"2311.15165","title":"Mixing Classifiers to Alleviate the Accuracy-Robustness Trade-Off","created":"2023-11-26","cited_by_count":2,"area":null},{"id":"2208.07464","title":"An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models","created":"2022-08-15","cited_by_count":1,"area":null}],"next_cursor":null}