Cover Image

Provably Bounding Neural Network Preimages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kotha, Suhas, Brix, Christopher, Kolter, Zico, Dvijotham, Krishnamurthy, Zhang, Huan
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Correlated Noise Provably Beats Independent Noise for Differentially Private Learning
by: Choquette-Choo, Christopher A., et al.
Published: (2023)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
by: Marzari, Luca, et al.
Published: (2025)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
by: Tsukamoto, Hiroyasu, et al.
Published: (2022)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Provably Safe Generative Sampling with Constricting Barrier Functions
by: Gadginmath, Darshan, et al.
Published: (2026)

Embed to Control Partially Observed Systems: Representation Learning with Provable Sample Efficiency
by: Wang, Lingxiao, et al.
Published: (2022)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
by: Yao, Jianzhu, et al.
Published: (2025)

Understanding Optimization in Deep Learning with Central Flows
by: Cohen, Jeremy M., et al.
Published: (2024)

Neural Horizon Model Predictive Control -- Increasing Computational Efficiency with Neural Networks
by: Alsmeier, Hendrik, et al.
Published: (2024)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
by: Sharifi, Sina, et al.
Published: (2024)

Hybrid Energy-Based Models for Physical AI: Provably Stable Identification of Port-Hamiltonian Dynamics
by: Betteti, Simone, et al.
Published: (2026)

Convolutional Neural Networks for Accurate Measurement of Train Speed
by: Tian, Haitao, et al.
Published: (2025)

Exploring the impact of adaptive rewiring in Graph Neural Networks
by: van Nooten, Charlotte Cambier, et al.
Published: (2026)

Building Hybrid B-Spline And Neural Network Operators
by: Romagnoli, Raffaele, et al.
Published: (2024)

Interacting Large Language Model Agents. Interpretable Models and Social Learning
by: Jain, Adit, et al.
Published: (2024)

Thermodynamic Liquid Manifold Networks: Physics-Bounded Deep Learning for Solar Forecasting in Autonomous Off-Grid Microgrids
by: Abdullah, Mohammed Ezzaldin Babiker
Published: (2026)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
by: Yang, Lujie, et al.
Published: (2024)

Compute-Optimal LLMs Provably Generalize Better With Scale
by: Finzi, Marc, et al.
Published: (2025)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)

Virtual Smart Metering in District Heating Networks via Heterogeneous Spatial-Temporal Graph Neural Networks
by: Niresi, Keivan Faghih, et al.
Published: (2026)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

From Black-Box to White-Box: Control-Theoretic Neural Network Interpretability
by: Moon, Jihoon
Published: (2025)

Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
by: Neary, Cyrus, et al.
Published: (2024)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Effective Analog ICs Floorplanning with Relational Graph Neural Networks and Reinforcement Learning
by: Basso, Davide, et al.
Published: (2024)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
by: de Oliveira, Arthur Castello Branco, et al.
Published: (2025)

Runtime-Certified Bounded-Error Quantized Attention
by: Calver, Dean
Published: (2026)

Stable-by-Design Neural Network-Based LPV State-Space Models for System Identification
by: Sertbaş, Ahmet Eren, et al.
Published: (2025)

Earth Observation Satellite Scheduling with Graph Neural Networks and Monte Carlo Tree Search
by: Jacquet, Antoine, et al.
Published: (2024)

Understanding the differences in Foundation Models: Attention, State Space Models, and Recurrent Neural Networks
by: Sieber, Jerome, et al.
Published: (2024)

A Riemannian Optimization Perspective of the Gauss-Newton Method for Feedforward Neural Networks
by: Cayci, Semih
Published: (2024)

PowerFlowNet: Power Flow Approximation Using Message Passing Graph Neural Networks
by: Lin, Nan, et al.
Published: (2023)

Outperforming Self-Attention Mechanisms in Solar Irradiance Forecasting via Physics-Guided Neural Networks
by: Abdullah, Mohammed Ezzaldin Babiker, et al.
Published: (2026)

Optimizing Inventory Routing: A Decision-Focused Learning Approach using Neural Networks
by: Islam, MD Shafikul, et al.
Published: (2023)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Worst-Case Regret Bounds for Exploration via Randomized Value Functions
by: Russo, Daniel
Published: (2019)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
by: Kong, Chun-Wei, et al.
Published: (2024)