{"total":112,"rows":[{"id":"2103.03638","title":"PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations","created":"2021-03-05","cited_by_count":77,"area":null},{"id":"2109.00498","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","created":"2021-08-31","cited_by_count":71,"area":null},{"id":"2105.14835","title":"Towards Lower Bounds on the Depth of ReLU Neural Networks","created":"2021-05-31","cited_by_count":56,"area":null},{"id":"2104.06718","title":"Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition","created":"2021-04-14","cited_by_count":44,"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":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2202.02414","title":"OMLT: Optimization & Machine Learning Toolkit","created":"2022-02-04","cited_by_count":35,"area":null},{"id":"2501.00200","title":"Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes","created":"2024-12-31","cited_by_count":33,"area":null},{"id":"2207.05984","title":"Unsupervised Learning for Combinatorial Optimization with Principled Objective Relaxation","created":"2022-07-13","cited_by_count":32,"area":null},{"id":"2111.04469","title":"Mixed-Integer Optimization with Constraint Learning","created":"2021-11-04","cited_by_count":31,"area":null},{"id":"2402.07251","title":"Physics-Informed Neural Networks with Hard Linear Equality Constraints","created":"2024-02-11","cited_by_count":30,"area":null},{"id":"2103.15965","title":"Strong Optimal Classification Trees","created":"2021-03-29","cited_by_count":28,"area":null},{"id":"2110.02121","title":"Optimization with Constraint Learning: A Framework and Survey","created":"2021-10-05","cited_by_count":28,"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":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24,"area":null},{"id":"2305.13991","title":"Expressive Losses for Verified Robustness via Convex Combinations","created":"2023-05-23","cited_by_count":23,"area":null},{"id":"2206.14772","title":"IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound","created":"2022-06-29","cited_by_count":21,"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":"2301.11113","title":"Finding Regions of Counterfactual Explanations via Robust Optimization","created":"2023-01-26","cited_by_count":19,"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":"2205.02453","title":"Learning to Solve Vehicle Routing Problems: A Survey","created":"2022-05-05","cited_by_count":16,"area":null},{"id":"2312.12791","title":"Model-Based Control with Sparse Neural Dynamics","created":"2023-12-20","cited_by_count":16,"area":null},{"id":"2304.01874","title":"Incremental Verification of Neural Networks","created":"2023-04-04","cited_by_count":14,"area":null},{"id":"2111.08922","title":"Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification","created":"2021-11-17","cited_by_count":13,"area":null},{"id":"2101.12708","title":"Between steps: Intermediate relaxations between big-M and convex hull formulations","created":"2021-01-29","cited_by_count":11,"area":null},{"id":"2205.14189","title":"Optimizing Objective Functions from Trained ReLU Neural Networks via Sampling","created":"2022-05-27","cited_by_count":11,"area":null},{"id":"2206.13374","title":"Stability Verification of Neural Network Controllers using Mixed-Integer Programming","created":"2022-06-27","cited_by_count":11,"area":null},{"id":"2101.05844","title":"Scaling the Convex Barrier with Sparse Dual Algorithms","created":"2021-01-14","cited_by_count":10,"area":null},{"id":"2109.00542","title":"Shared Certificates for Neural Network Verification","created":"2021-09-01","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":"2402.13937","title":"Verifying message-passing neural networks via topology-based bounds tightening","created":"2024-02-21","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":"2402.10977","title":"Generative AI and Process Systems Engineering: The Next Frontier","created":"2024-02-15","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":"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":"2312.08074","title":"PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs","created":"2023-12-13","cited_by_count":8,"area":null},{"id":"2401.13836","title":"Machine learning for industrial sensing and control: A survey and practical perspective","created":"2024-01-24","cited_by_count":8,"area":null},{"id":"2202.05198","title":"P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints","created":"2022-02-10","cited_by_count":7,"area":null},{"id":"2211.01498","title":"On the Safety of Interpretable Machine Learning: A Maximum Deviation Approach","created":"2022-11-02","cited_by_count":7,"area":null},{"id":"2107.12855","title":"Neural Network Branch-and-Bound for Neural Network Verification","created":"2021-07-27","cited_by_count":6,"area":null},{"id":"2111.09933","title":"Loss Functions for Discrete Contextual Pricing with Observational Data","created":"2021-11-18","cited_by_count":6,"area":null},{"id":"2112.02215","title":"Deep Policy Iteration with Integer Programming for Inventory Management","created":"2021-12-04","cited_by_count":6,"area":null},{"id":"2208.07669","title":"On Optimizing Back-Substitution Methods for Neural Network Verification","created":"2022-08-16","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":"2210.08069","title":"Zonotope Domains for Lagrangian Neural Network Verification","created":"2022-10-14","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":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","created":"2023-05-22","cited_by_count":5,"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":"2110.11382","title":"Efficient and Robust Mixed-Integer Optimization Methods for Training Binarized Deep Neural Networks","created":"2021-10-21","cited_by_count":4,"area":null},{"id":"2206.14056","title":"Deep Neural Networks pruning via the Structured Perspective Regularization","created":"2022-06-28","cited_by_count":4,"area":null},{"id":"2311.01742","title":"Global Optimization: A Machine Learning Approach","created":"2023-11-03","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":"2505.19932","title":"Logic Gate Neural Networks are Good for Verification","created":"2025-05-26","cited_by_count":4,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2102.09583","title":"Encoding Frequency Constraints in Preventive Unit Commitment Using Deep Learning with Region-of-Interest Active Sampling","created":"2021-02-18","cited_by_count":3,"area":null},{"id":"2108.04462","title":"Deep Reinforcement Learning for Demand Driven Services in Logistics and Transportation Systems: A Survey","created":"2021-08-10","cited_by_count":3,"area":null},{"id":"2201.00723","title":"A Mixed-Integer Programming Approach to Training Dense Neural Networks","created":"2022-01-03","cited_by_count":3,"area":null},{"id":"2207.03844","title":"On data-driven chance constraint learning for mixed-integer optimization problems","created":"2022-07-08","cited_by_count":3,"area":null},{"id":"2209.09404","title":"Machine Learning-Augmented Optimization of Large Bilevel and Two-stage Stochastic Programs: Application to Cycling Network Design","created":"2022-09-20","cited_by_count":3,"area":null},{"id":"2301.13845","title":"Interpreting Robustness Proofs of Deep Neural Networks","created":"2023-01-31","cited_by_count":3,"area":null},{"id":"2410.01617","title":"On Using Certified Training towards Empirical Robustness","created":"2024-10-02","cited_by_count":3,"area":null},{"id":"2509.11838","title":"Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network","created":"2025-09-15","cited_by_count":3,"area":null},{"id":"2602.06105","title":"Robustness Verification of Polynomial Neural Networks","created":"2026-02-05","cited_by_count":3,"area":null},{"id":"2103.00507","title":"Where the Action is: Let's make Reinforcement Learning for Stochastic Dynamic Vehicle Routing Problems work!","created":"2021-02-28","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":"2302.10344","title":"Model-based feature selection for neural networks: A mixed-integer programming approach","created":"2023-02-20","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":"2405.06109","title":"Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow","created":"2024-05-09","cited_by_count":2,"area":null},{"id":"2410.06816","title":"Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification","created":"2024-10-09","cited_by_count":2,"area":null},{"id":"2502.03016","title":"An analysis of optimization problems involving ReLU neural networks","created":"2025-02-05","cited_by_count":2,"area":null},{"id":"2505.23640","title":"Global optimization of graph acquisition functions for neural architecture search","created":"2025-05-29","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":"2604.22746","title":"Relaxation-Informed Training of Neural Network Surrogate Models","created":"2026-04-24","cited_by_count":2,"area":null},{"id":"2112.07007","title":"Optimizing over an ensemble of neural networks","created":"2021-12-13","cited_by_count":1,"area":null},{"id":"2112.09279","title":"Robust Upper Bounds for Adversarial Training","created":"2021-12-17","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":"2205.10157","title":"Machine Learning for Combinatorial Optimisation of Partially-Specified Problems: Regret Minimisation as a Unifying Lens","created":"2022-05-20","cited_by_count":1,"area":null},{"id":"2211.09810","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","created":"2022-11-13","cited_by_count":1,"area":null},{"id":"2212.03659","title":"Multi-Objective Linear Ensembles for Robust and Sparse Training of Few-Bit Neural Networks","created":"2022-12-07","cited_by_count":1,"area":null},{"id":"2306.00651","title":"Learning Prescriptive ReLU Networks","created":"2023-06-01","cited_by_count":1,"area":null},{"id":"2311.06973","title":"Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation","created":"2023-11-12","cited_by_count":1,"area":null},{"id":"2408.16890","title":"Robotic warehousing operations: a learn-then-optimize approach to large-scale neighborhood search","created":"2024-08-29","cited_by_count":1,"area":null},{"id":"2409.20517","title":"SMLE: Safe Machine Learning via Embedded Overapproximation","created":"2024-09-30","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.14356","title":"Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks","created":"2025-04-19","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":"2509.15368","title":"Stochastic Sample Approximations of (Local) Moduli of Continuity","created":"2025-09-18","cited_by_count":1,"area":null},{"id":"2603.03043","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","created":"2026-03-03","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":"2607.14375","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","created":"2026-07-15","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":"2110.15829","title":"Holistic Deep Learning","created":"2021-10-29","cited_by_count":0,"area":null},{"id":"2312.00140","title":"The Stochastic Dynamic Post-Disaster Inventory Allocation Problem with Trucks and UAVs","created":"2023-11-30","cited_by_count":0,"area":null},{"id":"2402.18851","title":"Applications of 0-1 Neural Networks in Prescription and Prediction","created":"2024-02-29","cited_by_count":0,"area":null},{"id":"2404.08821","title":"Constrained C-Test Generation via Mixed-Integer Programming","created":"2024-04-12","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":"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}],"next_cursor":"100"}