Image de couverture de livre

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baheri, Ali, Peralta, Ignacio Laguna
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Structure-Aware Epistemic Uncertainty Quantification for Neural Operator PDE Surrogates
par: Song, Haoze, et autres
Publié: (2026)

Geometry-Aware Backdoor Attacks: Leveraging Curvature in Hyperbolic Embeddings
par: Baheri, Ali
Publié: (2025)

CATO: Charted Attention for Neural PDE Operators
par: Cheng, Chun-Wun, et autres
Publié: (2026)

SMT-EX: An Explainable Surrogate Modeling Toolbox for Mixed-Variables Design Exploration
par: Robani, Mohammad Daffa, et autres
Publié: (2025)

Can We Understand Plasticity Through Neural Collapse?
par: Bonifazi, Guglielmo, et autres
Publié: (2024)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
par: Abu-Haeyeh, Yasmine, et autres
Publié: (2026)

Direct Learning of Calibration-Aware Uncertainty for Neural PDE Surrogates
par: Brito, Carlos Stein
Publié: (2026)

Progressive Fourier Neural Representation for Sequential Video Compilation
par: Kang, Haeyong, et autres
Publié: (2023)

Analysis of Fourier Neural Operators via Effective Field Theory
par: Kim, Taeyoung
Publié: (2025)

Gauge-Equivariant Intrinsic Neural Operators for Geometry-Consistent Learning of Elliptic PDE Maps
par: Cheng, Pengcheng
Publié: (2026)

From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
par: Liu, Lei, et autres
Publié: (2025)

Frequency-aware Surrogate Modeling With SMT Kernels For Advanced Data Forecasting
par: Gonel, Nicolas, et autres
Publié: (2025)

Surrogate Modeling for Neutron Transport: A Neural Operator Approach
par: Sahadath, Md Hossain, et autres
Publié: (2026)

Verified Neural Compressed Sensing
par: Bunel, Rudy, et autres
Publié: (2024)

Learning to Compile Programs to Neural Networks
par: Weber, Logan, et autres
Publié: (2024)

SCNO: Spiking Compositional Neural Operator -- Towards a Neuromorphic Foundation Model for Nuclear PDE Solving
par: Roy, Samrendra, et autres
Publié: (2026)

Physics-informed Attention-enhanced Fourier Neural Operator for Solar Magnetic Field Extrapolations
par: Cao, Jinghao, et autres
Publié: (2025)

Beyond Loss Guidance: Using PDE Residuals as Spectral Attention in Diffusion Neural Operators
par: Sawhney, Medha, et autres
Publié: (2025)

CFO: Learning Continuous-Time PDE Dynamics via Flow-Matched Neural Operators
par: Hou, Xianglong, et autres
Publié: (2025)

SURGE: Surrogate Gradient Adaptation in Binary Neural Networks
par: Huang, Haoyu, et autres
Publié: (2026)

Symmetry in the Wild: The Role of Equivariance in Neural Fluid Surrogates
par: Rygiel, Patryk, et autres
Publié: (2026)

Transferrable Surrogates in Expressive Neural Architecture Search Spaces
par: Qin, Shiwen, et autres
Publié: (2025)

Ambient Physics: Training Neural PDE Solvers with Partial Observations
par: Majid, Harris Abdul, et autres
Publié: (2026)

Generative Latent Neural PDE Solver using Flow Matching
par: Li, Zijie, et autres
Publié: (2025)

KO: Kinetics-inspired Neural Optimizer with PDE Simulation Approaches
par: Feng, Mingquan, et autres
Publié: (2025)

Unisolver: PDE-Conditional Transformers Towards Universal Neural PDE Solvers
par: Zhou, Hang, et autres
Publié: (2024)

Small Models, Strong Priors: Architectural Inductive Bias for Parameter-Efficient Neural PDE Solvers
par: Sankaran, Shyam, et autres
Publié: (2026)

Can Neural Networks Learn Small Algebraic Worlds? An Investigation Into the Group-theoretic Structures Learned By Narrow Models Trained To Predict Group Operations
par: Kvinge, Henry, et autres
Publié: (2026)

Hierarchical Neuro-Symbolic Decision Transformer
par: Baheri, Ali, et autres
Publié: (2025)

Split Conformal Prediction in the Function Space with Neural Operators
par: Millard, David, et autres
Publié: (2025)

Gradient-Informed Temporal Sampling Improves Rollout Accuracy in PDE Surrogate Training
par: Wang, Wenshuo, et autres
Publié: (2026)

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
par: Ducoffe, Mélanie, et autres
Publié: (2024)

Towards Verified and Targeted Explanations through Formal Methods
par: Wang, Hanchen David, et autres
Publié: (2026)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
par: Ravi, Nikil, et autres
Publié: (2026)

Can Data-Driven Dynamics Reveal Hidden Physics? There Is A Need for Interpretable Neural Operators
par: Gao, Wenhan, et autres
Publié: (2025)

Verified Safe Reinforcement Learning for Neural Network Dynamic Models
par: Wu, Junlin, et autres
Publié: (2024)

Physics-Informed Neural Network Surrogate Models for River Stage Prediction
par: Zoch, Maximilian, et autres
Publié: (2025)

Beyond Accuracy: EcoL2 Metric for Sustainable Neural PDE Solvers
par: Kapoor, Taniya, et autres
Publié: (2025)

GEPS: Boosting Generalization in Parametric PDE Neural Solvers through Adaptive Conditioning
par: Koupaï, Armand Kassaï, et autres
Publié: (2024)

FAME: Formal Abstract Minimal Explanation for Neural Networks
par: Boumazouza, Ryma, et autres
Publié: (2026)