{"total":36,"rows":[{"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":"2403.11871","title":"The Real Tropical Geometry of Neural Networks","created":"2024-03-18","cited_by_count":24,"area":null},{"id":"2505.14338","title":"Better Neural Network Expressivity: Subdividing the Simplex","created":"2025-05-20","cited_by_count":12,"area":null},{"id":"2502.09324","title":"Depth-Bounds for Neural Networks via the Braid Arrangement","created":"2025-02-13","cited_by_count":11,"area":null},{"id":"2310.11130","title":"Topological Expressivity of ReLU Neural Networks","created":"2023-10-17","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":"2411.03006","title":"Neural Networks and (Virtual) Extended Formulations","created":"2024-11-05","cited_by_count":9,"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":"2406.13433","title":"Certification for Differentially Private Prediction in Gradient-Based Training","created":"2024-06-19","cited_by_count":7,"area":null},{"id":"2505.16716","title":"The Computational Complexity of Counting Linear Regions in ReLU Neural Networks","created":"2025-05-22","cited_by_count":7,"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":"2401.14086","title":"Generating Likely Counterfactuals Using Sum-Product Networks","created":"2024-01-25","cited_by_count":6,"area":null},{"id":"2605.03601","title":"Most ReLU Networks Admit Identifiable Parameters","created":"2026-05-05","cited_by_count":6,"area":null},{"id":"2505.18023","title":"Time to Spike? Understanding the Representational Power of Spiking Neural Networks in Discrete Time","created":"2025-05-23","cited_by_count":4,"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":"2402.02407","title":"Defining Neural Network Architecture through Polytope Structures of Dataset","created":"2024-02-04","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":"2503.01702","title":"Relating Piecewise Linear Kolmogorov Arnold Networks to ReLU Networks","created":"2025-03-03","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":"2511.02406","title":"Arithmetic Circuits and Neural Networks for Regular Matroids","created":"2025-11-04","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":"2404.19710","title":"A rank decomposition for the topological classification of neural representations","created":"2024-04-30","cited_by_count":1,"area":null},{"id":"2405.20174","title":"A Computational Tropical Geometry Framework for Neural Networks","created":"2024-05-30","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":"2312.17640","title":"Decision-focused predictions via pessimistic bilevel optimization: complexity and algorithms","created":"2023-12-29","cited_by_count":0,"area":null},{"id":"2403.00860","title":"Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions","created":"2024-02-29","cited_by_count":0,"area":null},{"id":"2407.03851","title":"Implicit Hypersurface Approximation Capacity in Deep ReLU Networks","created":"2024-07-04","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},{"id":"2509.21286","title":"Maxout Polytopes","created":"2025-09-25","cited_by_count":0,"area":null},{"id":"2605.00855","title":"An Efficient Spatial Branch-and-Bound Algorithm for Global Optimization of Gaussian Process Posterior Mean Functions","created":"2026-04-21","cited_by_count":0,"area":null},{"id":"2605.23203","title":"Lipschitz Optimization for Formal Verification of Homographies","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2606.09746","title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2607.11540","title":"Tropical Circuits with Scalar Multiplication Gates","created":"2026-07-13","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},{"id":"2609.32695","title":"Affine Geometry of Gaussian ReLU Networks via Conditional Kac-Rice Formulas","created":"2026-09-26","cited_by_count":0,"area":null}],"next_cursor":null}