{"total":25,"rows":[{"id":"2201.09873","title":"Transformers in Medical Imaging: A Survey","created":"2022-01-24","cited_by_count":245,"area":null},{"id":"2105.11931","title":"Towards Scalable Verification of Deep Reinforcement Learning","created":"2021-05-25","cited_by_count":33,"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":"2307.10266","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","created":"2023-07-17","cited_by_count":24,"area":null},{"id":"2212.06140","title":"Fairify: Fairness Verification of Neural Networks","created":"2022-12-08","cited_by_count":22,"area":null},{"id":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20,"area":null},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14,"area":null},{"id":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","cited_by_count":8,"area":null},{"id":"2102.09086","title":"Consistent Non-Parametric Methods for Maximizing Robustness","created":"2021-02-18","cited_by_count":7,"area":null},{"id":"2104.10868","title":"Towards Adversarial Patch Analysis and Certified Defense against Crowd Counting","created":"2021-04-22","cited_by_count":6,"area":null},{"id":"2210.00635","title":"Robust Empirical Risk Minimization with Tolerance","created":"2022-10-02","cited_by_count":6,"area":null},{"id":"2602.20419","title":"CREDIT: Certified Ownership Verification of Deep Neural Networks Against Model Extraction Attacks","created":"2026-02-23","cited_by_count":5,"area":null},{"id":"2302.11049","title":"Framework for Certification of AI-Based Systems","created":"2023-02-21","cited_by_count":4,"area":null},{"id":"2405.17556","title":"Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound","created":"2024-05-27","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":"2204.00694","title":"Testing Feedforward Neural Networks Training Programs","created":"2022-04-01","cited_by_count":2,"area":null},{"id":"2603.12232","title":"Incremental Neural Network Verification via Learned Conflicts","created":"2026-03-12","cited_by_count":2,"area":null},{"id":"2205.06154","title":"Smooth-Reduce: Leveraging Patches for Improved Certified Robustness","created":"2022-05-12","cited_by_count":1,"area":null},{"id":"2301.02288","title":"gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks","created":"2023-01-05","cited_by_count":1,"area":null},{"id":"2512.23769","title":"Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations","created":"2025-12-29","cited_by_count":1,"area":null},{"id":"2205.00637","title":"Enhancing Adversarial Training with Feature Separability","created":"2022-05-02","cited_by_count":0,"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":"2306.12495","title":"Verifying Global Neural Network Specifications using Hyperproperties","created":"2023-06-21","cited_by_count":0,"area":null},{"id":"2311.11126","title":"Bayesian Neural Networks: A Min-Max Game Framework","created":"2023-11-18","cited_by_count":0,"area":null},{"id":"2602.08679","title":"Dashed Line Defense: Plug-And-Play Defense Against Adaptive Score-Based Query Attacks","created":"2026-02-09","cited_by_count":0,"area":null}],"next_cursor":null}