{"total":97,"rows":[{"id":"2104.07167","title":"Orthogonalizing Convolutional Layers with the Cayley Transform","created":"2021-04-14","cited_by_count":105,"area":null},{"id":"2206.13414","title":"Learning To Cut By Looking Ahead: Cutting Plane Selection via Imitation Learning","created":"2022-06-27","cited_by_count":61,"area":"offlinerl"},{"id":"2107.10201","title":"Learning a Large Neighborhood Search Algorithm for Mixed Integer Programs","created":"2021-07-21","cited_by_count":43,"area":null},{"id":"2106.09292","title":"CROP: Certifying Robust Policies for Reinforcement Learning through Functional Smoothing","created":"2021-06-17","cited_by_count":42,"area":null},{"id":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2101.02559","title":"Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead","created":"2021-01-04","cited_by_count":41,"area":null},{"id":"2102.04373","title":"Partition-based formulations for mixed-integer optimization of trained ReLU neural networks","created":"2021-02-08","cited_by_count":39,"area":null},{"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":"2203.14195","title":"How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective","created":"2022-03-27","cited_by_count":39,"area":null},{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"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":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24,"area":null},{"id":"2207.02715","title":"Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes","created":"2022-07-06","cited_by_count":24,"area":null},{"id":"2102.07804","title":"Scaling Up Exact Neural Network Compression by ReLU Stability","created":"2021-02-15","cited_by_count":19,"area":null},{"id":"2106.04260","title":"Provably Robust Detection of Out-of-distribution Data (almost) for free","created":"2021-06-08","cited_by_count":18,"area":null},{"id":"2406.11779","title":"Compact Proofs of Model Performance via Mechanistic Interpretability","created":"2024-06-17","cited_by_count":18,"area":"mechinterp"},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2201.10035","title":"Maximizing information from chemical engineering data sets: Applications to machine learning","created":"2022-01-25","cited_by_count":17,"area":null},{"id":"2205.09927","title":"CertiFair: A Framework for Certified Global Fairness of Neural Networks","created":"2022-05-20","cited_by_count":17,"area":null},{"id":"2205.12006","title":"Neur2SP: Neural Two-Stage Stochastic Programming","created":"2022-05-20","cited_by_count":17,"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":"2203.14141","title":"Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding","created":"2022-03-26","cited_by_count":15,"area":null},{"id":"2203.03034","title":"A Unified View of SDP-based Neural Network Verification through Completely Positive Programming","created":"2022-03-06","cited_by_count":12,"area":null},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12,"area":null},{"id":"2304.01218","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","created":"2023-03-31","cited_by_count":12,"area":null},{"id":"2207.02152","title":"UniCR: Universally Approximated Certified Robustness via Randomized Smoothing","created":"2022-07-05","cited_by_count":10,"area":null},{"id":"2301.09943","title":"Learning To Dive In Branch And Bound","created":"2023-01-24","cited_by_count":10,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2401.03451","title":"Optimization Over Trained Neural Networks: Taking a Relaxing Walk","created":"2024-01-07","cited_by_count":10,"area":null},{"id":"2406.18451","title":"Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers","created":"2024-06-26","cited_by_count":10,"area":null},{"id":"2111.10489","title":"Modeling Design and Control Problems Involving Neural Network Surrogates","created":"2021-11-20","cited_by_count":9,"area":null},{"id":"2210.01111","title":"MultiGuard: Provably Robust Multi-label Classification against Adversarial Examples","created":"2022-10-03","cited_by_count":9,"area":null},{"id":"2512.11087","title":"Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification","created":"2025-12-11","cited_by_count":9,"area":null},{"id":"2106.09117","title":"DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting","created":"2021-06-16","cited_by_count":8,"area":null},{"id":"2111.09293","title":"Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks","created":"2021-11-17","cited_by_count":8,"area":null},{"id":"2301.07966","title":"Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions","created":"2023-01-19","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":"2206.09149","title":"Piecewise Linear Neural Networks and Deep Learning","created":"2022-06-18","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.03698","title":"Verified Probabilistic Policies for Deep Reinforcement Learning","created":"2022-01-10","cited_by_count":6,"area":null},{"id":"2207.05327","title":"Certified Adversarial Robustness via Anisotropic Randomized Smoothing","created":"2022-07-12","cited_by_count":6,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","cited_by_count":6,"area":null},{"id":"2312.16699","title":"Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks","created":"2023-12-27","cited_by_count":6,"area":null},{"id":"2404.18791","title":"Certification of Speaker Recognition Models to Additive Perturbations","created":"2024-04-29","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":"2103.04436","title":"Insta-RS: Instance-wise Randomized Smoothing for Improved Robustness and Accuracy","created":"2021-03-07","cited_by_count":5,"area":null},{"id":"2202.03932","title":"Are Transformers More Robust? Towards Exact Robustness Verification for Transformers","created":"2022-02-08","cited_by_count":5,"area":null},{"id":"2211.14438","title":"BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic","created":"2022-11-22","cited_by_count":5,"area":null},{"id":"2212.01544","title":"Probabilistic Verification of ReLU Neural Networks via Characteristic Functions","created":"2022-12-03","cited_by_count":5,"area":null},{"id":"2304.02693","title":"A Certified Radius-Guided Attack Framework to Image Segmentation Models","created":"2023-04-05","cited_by_count":5,"area":null},{"id":"2208.08609","title":"A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables","created":"2022-08-18","cited_by_count":4,"area":null},{"id":"2212.08567","title":"Optimized Symbolic Interval Propagation for Neural Network Verification","created":"2022-12-15","cited_by_count":4,"area":null},{"id":"2304.10446","title":"Certified Adversarial Robustness Within Multiple Perturbation Bounds","created":"2023-04-20","cited_by_count":4,"area":null},{"id":"2402.02552","title":"Neur2BiLO: Neural Bilevel Optimization","created":"2024-02-04","cited_by_count":4,"area":null},{"id":"2402.06697","title":"Feed-Forward Neural Networks as a Mixed-Integer Program","created":"2024-02-09","cited_by_count":4,"area":null},{"id":"2404.17371","title":"Estimating the Robustness Radius for Randomized Smoothing with 100$\\times$ Sample Efficiency","created":"2024-04-26","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":"2108.00491","title":"Certified Defense via Latent Space Randomized Smoothing with Orthogonal Encoders","created":"2021-08-01","cited_by_count":3,"area":null},{"id":"2109.12888","title":"Mixed Integer Neural Inverse Design","created":"2021-09-27","cited_by_count":3,"area":null},{"id":"2301.11342","title":"A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2402.08400","title":"Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing","created":"2024-02-13","cited_by_count":3,"area":null},{"id":"2404.04662","title":"Learning Minimal Neural Specifications","created":"2024-04-06","cited_by_count":3,"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":"2106.03099","title":"A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification","created":"2021-06-06","cited_by_count":2,"area":null},{"id":"2212.07553","title":"Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes","created":"2022-12-14","cited_by_count":2,"area":null},{"id":"2310.04345","title":"Deep Learning for Two-Stage Robust Integer Optimization","created":"2023-10-06","cited_by_count":2,"area":null},{"id":"2412.02940","title":"SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks","created":"2024-12-04","cited_by_count":2,"area":null},{"id":"2502.16286","title":"Verification of Bit-Flip Attacks against Quantized Neural Networks","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2505.00963","title":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","created":"2025-05-02","cited_by_count":2,"area":null},{"id":"2110.04254","title":"Assessment of Neural Networks for Stream-Water-Temperature Prediction","created":"2021-10-08","cited_by_count":1,"area":null},{"id":"2112.07007","title":"Optimizing over an ensemble of neural networks","created":"2021-12-13","cited_by_count":1,"area":null},{"id":"2201.04429","title":"Constraint Learning to Define Trust Regions in Predictive-Model Embedded Optimization","created":"2022-01-12","cited_by_count":1,"area":null},{"id":"2202.02429","title":"Verifying Inverse Model Neural Networks","created":"2022-02-04","cited_by_count":1,"area":null},{"id":"2207.03264","title":"A Solver + Gradient Descent Training Algorithm for Deep Neural Networks","created":"2022-07-07","cited_by_count":1,"area":null},{"id":"2302.14744","title":"Tight Mixed-Integer Optimization Formulations for Prescriptive Trees","created":"2023-02-28","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":"2307.12716","title":"Safety Performance of Neural Networks in the Presence of Covariate Shift","created":"2023-07-24","cited_by_count":1,"area":null},{"id":"2501.15767","title":"Formal Verification of Markov Processes with Learned Parameters","created":"2025-01-27","cited_by_count":1,"area":null},{"id":"2504.08414","title":"Adversarial Examples in Environment Perception for Automated Driving (Review)","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2506.02752","title":"BenLOC: A Benchmark for Learning to Configure MIP Optimizers","created":"2025-06-03","cited_by_count":1,"area":null},{"id":"2506.03531","title":"Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees","created":"2025-06-04","cited_by_count":1,"area":null},{"id":"2510.19977","title":"Towards Strong Certified Defense with Universal Asymmetric Randomization","created":"2025-10-22","cited_by_count":1,"area":null},{"id":"2606.07728","title":"Characterizing the Discrete Geometry of ReLU Networks","created":"2026-06-05","cited_by_count":1,"area":null},{"id":"2103.04578","title":"Testing Autonomous Systems with Believed Equivalence Refinement","created":"2021-03-08","cited_by_count":0,"area":null},{"id":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","cited_by_count":0,"area":null},{"id":"2306.17323","title":"Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2309.16710","title":"General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing","created":"2023-08-17","cited_by_count":0,"area":null},{"id":"2311.05316","title":"ABIGX: A Unified Framework for eXplainable Fault Detection and Classification","created":"2023-11-09","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":"2410.23362","title":"Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations","created":"2024-10-30","cited_by_count":0,"area":null},{"id":"2503.10661","title":"CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models","created":"2025-03-08","cited_by_count":0,"area":"mllm"},{"id":"2505.01985","title":"Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate","created":"2025-05-04","cited_by_count":0,"area":null},{"id":"2506.10269","title":"Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification","created":"2025-06-12","cited_by_count":0,"area":null},{"id":"2507.09503","title":"Neural Two-Stage Stochastic Optimization for Solving Unit Commitment Problem","created":"2025-07-13","cited_by_count":0,"area":null},{"id":"2507.17453","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","created":"2025-07-23","cited_by_count":0,"area":null},{"id":"2607.03232","title":"Fast SDP certification of neural networks : towards large multi-class datasets","created":"2026-07-03","cited_by_count":0,"area":null},{"id":"2608.09707","title":"Input convex neural networks as surrogates in mathematical optimisation","created":"2026-08-10","cited_by_count":0,"area":null}],"next_cursor":null}