:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Baheri, Ali, Peralta, Ignacio Laguna
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2605.08938
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Structure-Aware Epistemic Uncertainty Quantification for Neural Operator PDE Surrogates
by: Song, Haoze, et al.
Published: (2026)

Geometry-Aware Backdoor Attacks: Leveraging Curvature in Hyperbolic Embeddings
by: Baheri, Ali
Published: (2025)

CATO: Charted Attention for Neural PDE Operators
by: Cheng, Chun-Wun, et al.
Published: (2026)

SMT-EX: An Explainable Surrogate Modeling Toolbox for Mixed-Variables Design Exploration
by: Robani, Mohammad Daffa, et al.
Published: (2025)

Direct Learning of Calibration-Aware Uncertainty for Neural PDE Surrogates
by: Brito, Carlos Stein
Published: (2026)

Can We Understand Plasticity Through Neural Collapse?
by: Bonifazi, Guglielmo, et al.
Published: (2024)

Progressive Fourier Neural Representation for Sequential Video Compilation
by: Kang, Haeyong, et al.
Published: (2023)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
by: Abu-Haeyeh, Yasmine, et al.
Published: (2026)

Frequency-aware Surrogate Modeling With SMT Kernels For Advanced Data Forecasting
by: Gonel, Nicolas, et al.
Published: (2025)

Analysis of Fourier Neural Operators via Effective Field Theory
by: Kim, Taeyoung
Published: (2025)

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

From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
by: Liu, Lei, et al.
Published: (2025)

Surrogate Modeling for Neutron Transport: A Neural Operator Approach
by: Sahadath, Md Hossain, et al.
Published: (2026)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

Verified Neural Compressed Sensing
by: Bunel, Rudy, et al.
Published: (2024)

Learning to Compile Programs to Neural Networks
by: Weber, Logan, et al.
Published: (2024)

SCNO: Spiking Compositional Neural Operator -- Towards a Neuromorphic Foundation Model for Nuclear PDE Solving
by: Roy, Samrendra, et al.
Published: (2026)

Physics-informed Attention-enhanced Fourier Neural Operator for Solar Magnetic Field Extrapolations
by: Cao, Jinghao, et al.
Published: (2025)

Beyond Loss Guidance: Using PDE Residuals as Spectral Attention in Diffusion Neural Operators
by: Sawhney, Medha, et al.
Published: (2025)

CFO: Learning Continuous-Time PDE Dynamics via Flow-Matched Neural Operators
by: Hou, Xianglong, et al.
Published: (2025)

Split Conformal Prediction in the Function Space with Neural Operators
by: Millard, David, et al.
Published: (2025)

Unisolver: PDE-Conditional Transformers Towards Universal Neural PDE Solvers
by: Zhou, Hang, et al.
Published: (2024)

Small Models, Strong Priors: Architectural Inductive Bias for Parameter-Efficient Neural PDE Solvers
by: Sankaran, Shyam, et al.
Published: (2026)

SURGE: Surrogate Gradient Adaptation in Binary Neural Networks
by: Huang, Haoyu, et al.
Published: (2026)

Symmetry in the Wild: The Role of Equivariance in Neural Fluid Surrogates
by: Rygiel, Patryk, et al.
Published: (2026)

Transferrable Surrogates in Expressive Neural Architecture Search Spaces
by: Qin, Shiwen, et al.
Published: (2025)

Ambient Physics: Training Neural PDE Solvers with Partial Observations
by: Majid, Harris Abdul, et al.
Published: (2026)

Generative Latent Neural PDE Solver using Flow Matching
by: Li, Zijie, et al.
Published: (2025)

KO: Kinetics-inspired Neural Optimizer with PDE Simulation Approaches
by: Feng, Mingquan, et al.
Published: (2025)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
by: Ravi, Nikil, et al.
Published: (2026)

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

Gradient-Informed Temporal Sampling Improves Rollout Accuracy in PDE Surrogate Training
by: Wang, Wenshuo, et al.
Published: (2026)

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
by: Ducoffe, Mélanie, et al.
Published: (2024)

Adaptive Neural-Operator Backstepping Control of a Benchmark Hyperbolic PDE
by: Lamarque, Maxence, et al.
Published: (2024)

Towards Verified and Targeted Explanations through Formal Methods
by: Wang, Hanchen David, et al.
Published: (2026)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
by: Chen, Luoxin, et al.
Published: (2026)

Verified Safe Reinforcement Learning for Neural Network Dynamic Models
by: Wu, Junlin, et al.
Published: (2024)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)

Beyond Accuracy: EcoL2 Metric for Sustainable Neural PDE Solvers
by: Kapoor, Taniya, et al.
Published: (2025)

GEPS: Boosting Generalization in Parametric PDE Neural Solvers through Adaptive Conditioning
by: Koupaï, Armand Kassaï, et al.
Published: (2024)