{"total":17,"rows":[{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"area":null},{"id":"2105.07091","title":"Verification of Image-based Neural Network Controllers Using Generative Models","created":"2021-05-14","cited_by_count":27,"area":null},{"id":"2102.09479","title":"Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications","created":"2021-02-18","cited_by_count":18,"area":null},{"id":"2111.13650","title":"Latent Space Smoothing for Individually Fair Representations","created":"2021-11-26","cited_by_count":18,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2306.06747","title":"Precise and Generalized Robustness Certification for Neural Networks","created":"2023-06-11","cited_by_count":4,"area":null},{"id":"2106.05325","title":"ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs","created":"2021-06-09","cited_by_count":2,"area":null},{"id":"2411.04594","title":"Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels","created":"2024-11-07","cited_by_count":2,"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":"2401.10310","title":"Mathematical Algorithm Design for Deep Learning under Societal and Judicial Constraints: The Algorithmic Transparency Requirement","created":"2024-01-18","cited_by_count":1,"area":null},{"id":"2402.15929","title":"Certifying Knowledge Comprehension in LLMs","created":"2024-02-24","cited_by_count":1,"area":null},{"id":"2406.14265","title":"VeriFlow: Modeling Distributions for Neural Network Verification","created":"2024-06-20","cited_by_count":1,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2405.18549","title":"Learning from Uncertain Data: From Possible Worlds to Possible Models","created":"2024-05-28","cited_by_count":0,"area":null},{"id":"2412.03028","title":"Specification Generation for Neural Networks in Systems","created":"2024-12-04","cited_by_count":0,"area":null},{"id":"2601.20301","title":"Towards Compact and Robust DNNs via Compression-aware Sharpness Minimization","created":"2026-01-28","cited_by_count":0,"area":null},{"id":"2607.18195","title":"Certified Training for Convolutional Perturbations","created":"2026-07-20","cited_by_count":0,"area":null}],"next_cursor":null}