{"total":21,"rows":[{"id":"2102.08452","title":"Globally-Robust Neural Networks","created":"2021-02-16","cited_by_count":108,"area":null},{"id":"2110.03109","title":"Consistent Counterfactuals for Deep Models","created":"2021-10-06","cited_by_count":37,"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":"2103.11257","title":"Robust Models Are More Interpretable Because Attributions Look Normal","created":"2021-03-20","cited_by_count":21,"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":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"id":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"area":null},{"id":"2301.12549","title":"Unlocking Deterministic Robustness Certification on ImageNet","created":"2023-01-29","cited_by_count":13,"area":null},{"id":"2103.13598","title":"Recent Advances in Large Margin Learning","created":"2021-03-25","cited_by_count":7,"area":null},{"id":"2106.06624","title":"Relaxing Local Robustness","created":"2021-06-11","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":"2301.08842","title":"Limitations of Piecewise Linearity for Efficient Robustness Certification","created":"2023-01-21","cited_by_count":4,"area":null},{"id":"2301.13845","title":"Interpreting Robustness Proofs of Deep Neural Networks","created":"2023-01-31","cited_by_count":3,"area":null},{"id":"2205.11850","title":"Faithful Explanations for Deep Graph Models","created":"2022-05-24","cited_by_count":2,"area":null},{"id":"2512.05439","title":"BEAVER: An Efficient Deterministic LLM Verifier","created":"2025-12-05","cited_by_count":2,"area":null},{"id":"2206.00278","title":"On the Perils of Cascading Robust Classifiers","created":"2022-06-01","cited_by_count":1,"area":null},{"id":"2207.05902","title":"Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations","created":"2022-07-13","cited_by_count":1,"area":null},{"id":"2505.06958","title":"A Formally Verified Robustness Certifier for Neural Networks (Extended Version)","created":"2025-05-11","cited_by_count":1,"area":null},{"id":"2211.09945","title":"VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch","created":"2022-11-17","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}],"next_cursor":null}