{"total":43,"rows":[{"id":"2405.21063","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","created":"2024-05-31","cited_by_count":47,"area":null},{"id":"2310.00116","title":"Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization","created":"2023-09-29","cited_by_count":21,"area":null},{"id":"2305.16173","title":"Efficient Bound of Lipschitz Constant for Convolutional Layers by Gram Iteration","created":"2023-05-25","cited_by_count":19,"area":null},{"id":"2301.12554","title":"Improving the Accuracy-Robustness Trade-Off of Classifiers via Adaptive Smoothing","created":"2023-01-29","cited_by_count":18,"area":null},{"id":"2307.02460","title":"Performance Scaling via Optimal Transport: Enabling Data Selection from Partially Revealed Sources","created":"2023-07-05","cited_by_count":16,"area":null},{"id":"2410.16281","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","created":"2024-10-04","cited_by_count":12,"area":null},{"id":"2404.04375","title":"ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks","created":"2024-04-05","cited_by_count":10,"area":null},{"id":"2405.01125","title":"Lipschitz constant estimation for general neural network architectures using control tools","created":"2024-05-02","cited_by_count":8,"area":null},{"id":"2401.14033","title":"Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations","created":"2024-01-25","cited_by_count":7,"area":null},{"id":"2404.08980","title":"Stability and Generalization in Free Adversarial Training","created":"2024-04-13","cited_by_count":5,"area":null},{"id":"2505.15174","title":"Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss","created":"2025-05-21","cited_by_count":5,"area":null},{"id":"2304.02755","title":"Hybrid Zonotopes Exactly Represent ReLU Neural Networks","created":"2023-04-05","cited_by_count":4,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2311.01356","title":"Upper and lower bounds for the Lipschitz constant of random neural networks","created":"2023-11-02","cited_by_count":2,"area":null},{"id":"2311.02002","title":"A Variational Perspective on High-Resolution ODEs","created":"2023-11-03","cited_by_count":2,"area":null},{"id":"2406.09375","title":"Learning conditional distributions on continuous spaces","created":"2024-06-13","cited_by_count":2,"area":null},{"id":"2410.23382","title":"Estimating Neural Network Robustness via Lipschitz Constant and Architecture Sensitivity","created":"2024-10-30","cited_by_count":2,"area":null},{"id":"2501.04757","title":"Distance-Aware Error for Spline Networks: A Bottom-Up Approach to Uncertainty","created":"2025-01-08","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":"2505.06580","title":"TAROT: Towards Essentially Domain-Invariant Robustness with Theoretical Justification","created":"2025-05-10","cited_by_count":2,"area":null},{"id":"2505.22889","title":"Local Stability and Region of Attraction Analysis for Neural Network Feedback Systems under Positivity Constraints","created":"2025-05-28","cited_by_count":2,"area":null},{"id":"2511.06341","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","created":"2025-11-09","cited_by_count":2,"area":null},{"id":"2406.08525","title":"A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI","created":"2024-06-12","cited_by_count":1,"area":null},{"id":"2501.10202","title":"Provably Safeguarding a Classifier from OOD and Adversarial Samples: an Extreme Value Theory Approach","created":"2025-01-17","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2602.15499","title":"ExLipBaB: Exact Lipschitz Constant Computation for Piecewise Linear Neural Networks","created":"2026-02-17","cited_by_count":1,"area":null},{"id":"2605.08894","title":"Fitting Is Not Enough: Smoothness in Extremely Quantized LLMs","created":"2026-05-09","cited_by_count":1,"area":null},{"id":"2606.04767","title":"Measuring Model Robustness via Fisher Information: Spectral Bounds, Theoretical Guarantees, and Practical Algorithms","created":"2026-06-03","cited_by_count":1,"area":null},{"id":"2302.10895","title":"CQnet: convex-geometric interpretation and constraining neural-network trajectories","created":"2023-02-09","cited_by_count":0,"area":null},{"id":"2310.03104","title":"Differentially Private Optimization for Non-Decomposable Objective Functions","created":"2023-10-04","cited_by_count":0,"area":null},{"id":"2405.11349","title":"Unlock the Power of Algorithm Features: A Generalization Analysis for Algorithm Selection","created":"2024-05-18","cited_by_count":0,"area":null},{"id":"2506.23977","title":"A Scalable Approach for Safe and Robust Learning via Lipschitz-Constrained Networks","created":"2025-06-30","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":"2510.10000","title":"Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks","created":"2025-10-11","cited_by_count":0,"area":null},{"id":"2510.25130","title":"Lipschitz-aware Linearity Grafting for Certified Robustness","created":"2025-10-29","cited_by_count":0,"area":null},{"id":"2603.06431","title":"Certified and accurate computation of function space norms of deep neural networks","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2603.28113","title":"Demystifying Lipschitz verification: positive matrices, negative results","created":"2026-03-30","cited_by_count":0,"area":null},{"id":"2604.16576","title":"On the Robustness of LLM-Based Dense Retrievers: A Systematic Analysis of Generalizability and Stability","created":"2026-04-17","cited_by_count":0,"area":null},{"id":"2604.18751","title":"Beyond Coefficients: Forecast-Necessity Testing for Interpretable Causal Discovery in Nonlinear Time-Series Models","created":"2026-04-20","cited_by_count":0,"area":null},{"id":"2607.07083","title":"Prior-aware and Context-guided Group Sampling for Active Probabilistic Subsampling","created":"2026-07-08","cited_by_count":0,"area":null},{"id":"2607.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2608.13118","title":"Branch and Bound for Relational Verification of Neural Networks","created":"2026-08-13","cited_by_count":0,"area":null}],"next_cursor":null}