Image de couverture de livre

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sayed, Abdelrahman Sayed, Meyer, Pierre-Jean, Ghazel, Mohamed
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
par: Sayed, Abdelrahman Sayed, et autres
Publié: (2025)

Neural Collapse is Globally Optimal in Deep Regularized ResNets and Transformers
par: Súkeník, Peter, et autres
Publié: (2025)

ResNets Are Deeper Than You Think
par: Mehmeti-Göpel, Christian H. X. Ali, et autres
Publié: (2025)

L-Lipschitz Gershgorin ResNet Network
par: Juston, Marius F. R., et autres
Publié: (2025)

On the inductive bias of infinite-depth ResNets and the bottleneck rank
par: Boix-Adsera, Enric
Publié: (2025)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

Hamiltonian Mechanics of Feature Learning: Bottleneck Structure in Leaky ResNets
par: Jacot, Arthur, et autres
Publié: (2024)

Cardioformer: Advancing AI in ECG Analysis with Multi-Granularity Patching and ResNet
par: Mobin, Md Kamrujjaman, et autres
Publié: (2025)

Progressive Feedforward Collapse of ResNet Training
par: Wang, Sicong, et autres
Publié: (2024)

Scaling ResNets in the Large-depth Regime
par: Marion, Pierre, et autres
Publié: (2022)

Acute Lymphoblastic Leukemia Diagnosis Employing YOLOv11, YOLOv8, ResNet50, and Inception-ResNet-v2 Deep Learning Models
par: Awad, Alaa, et autres
Publié: (2025)

A Neural Architecture Search Method using Auxiliary Evaluation Metric based on ResNet Architecture
par: Wang, Shang, et autres
Publié: (2025)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
par: Shi, Zhouxing, et autres
Publié: (2024)

PlantDiseaseNet-RT50: A Fine-tuned ResNet50 Architecture for High-Accuracy Plant Disease Detection Beyond Standard CNNs
par: Sagnika, Santwana, et autres
Publié: (2025)

BioCOMPASS: Integrating Biomarkers into Transformer-Based Immunotherapy Response Prediction
par: Hashim, Sayed, et autres
Publié: (2026)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
par: Papamichail, Merkouris, et autres
Publié: (2026)

SPIN-ODE: Stiff Physics-Informed Neural ODE for Chemical Reaction Rate Estimation
par: Peng, Wenqing, et autres
Publié: (2025)

A comparative study of NeuralODE and Universal ODE approaches to solving Chandrasekhar White Dwarf equation
par: Martinez, Raymundo Vazquez, et autres
Publié: (2024)

The Hidden Width of Deep ResNets: Tight Error Bounds and Phase Diagram
par: Chizat, Lénaïc
Publié: (2025)

Lung Cancer Classification from CT Images Using ResNet
par: Adekunle, Olajumoke O., et autres
Publié: (2025)

Mitigating Time Discretization Challenges with WeatherODE: A Sandwich Physics-Driven Neural ODE for Weather Forecasting
par: Liu, Peiyuan, et autres
Publié: (2024)

Automated Conjecture Resolution with Formal Verification
par: Ju, Haocheng, et autres
Publié: (2026)

Latent Neural-ODE for Model-Informed Precision Dosing: Overcoming Structural Assumptions in Pharmacokinetics
par: Maurel, Benjamin, et autres
Publié: (2026)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
par: Boetius, David, et autres
Publié: (2024)

A Neural ODE Approach to Aircraft Flight Dynamics Modelling
par: Jarry, Gabriel, et autres
Publié: (2025)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
par: Chevalier, Samuel, et autres
Publié: (2024)

On Tuning Neural ODE for Stability, Consistency and Faster Convergence
par: Akhtar, Sheikh Waqas
Publié: (2023)

ResNet-34 with Lightweight Decoder for Accurate and Efficient Segmentation of Fetal Brain MRI
par: Rahman, Ashiqur, et autres
Publié: (2026)

Lightweight Quantum-Enhanced ResNet for Coronary Angiography Classification: A Hybrid Quantum-Classical Feature Enhancement Framework
par: Xia, Jingsong
Publié: (2026)

SpikingResformer: Bridging ResNet and Vision Transformer in Spiking Neural Networks
par: Shi, Xinyu, et autres
Publié: (2024)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
par: Wang, Fangji, et autres
Publié: (2025)

MFI-ResNet: Efficient ResNet Architecture Optimization via MeanFlow Compression and Selective Incubation
par: Sun, Nuolin, et autres
Publié: (2025)

OpenClassGen: A Large-Scale Corpus of Real-World Python Classes for LLM Research
par: Rahman, Musfiqur, et autres
Publié: (2025)

Decentralized Adversarial Training over Graphs
par: Cao, Ying, et autres
Publié: (2023)

TransferLight: Zero-Shot Traffic Signal Control on any Road-Network
par: Schmidt, Johann, et autres
Publié: (2024)

Wavelet-Enhanced Neural ODE and Graph Attention for Interpretable Energy Forecasting
par: Joy, Usman Gani
Publié: (2025)

Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
par: Doshi, Vivan
Publié: (2025)

Neural ODE Transformers: Analyzing Internal Dynamics and Adaptive Fine-tuning
par: Tong, Anh, et autres
Publié: (2025)

Evaluating the Use of LLMs for Documentation to Code Traceability
par: Alor, Ebube, et autres
Publié: (2025)

Beyond Synthetic Benchmarks: Evaluating LLM Performance on Real-World Class-Level Code Generation
par: Rahman, Musfiqur, et autres
Publié: (2025)