Efficient Error Certification for Physics-Informed Neural Networks
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Eiras, Francisco, Bibi, Adel, Bunel, Rudy, Dvijotham, Krishnamurthy Dj, Torr, Philip, Kumar, M. Pawan |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Verified Neural Compressed Sensing
par: Bunel, Rudy, et autres
Publié: (2024)
par: Bunel, Rudy, et autres
Publié: (2024)
Do as I do (Safely): Mitigating Task-Specific Fine-tuning Risks in Large Language Models
par: Eiras, Francisco, et autres
Publié: (2024)
par: Eiras, Francisco, et autres
Publié: (2024)
Expressive Losses for Verified Robustness via Convex Combinations
par: De Palma, Alessandro, et autres
Publié: (2023)
par: De Palma, Alessandro, et autres
Publié: (2023)
Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)
par: Bunel, Rudy, et autres
Publié: (2019)
Scaling the Convex Barrier with Sparse Dual Algorithms
par: De Palma, Alessandro, et autres
Publié: (2021)
par: De Palma, Alessandro, et autres
Publié: (2021)
Keeping up with dynamic attackers: Certifying robustness to adaptive online data poisoning
par: Bose, Avinandan, et autres
Publié: (2025)
par: Bose, Avinandan, et autres
Publié: (2025)
Towards Certification of Uncertainty Calibration under Adversarial Attacks
par: Emde, Cornelius, et autres
Publié: (2024)
par: Emde, Cornelius, et autres
Publié: (2024)
Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation
par: Eiras, Francisco, et autres
Publié: (2023)
par: Eiras, Francisco, et autres
Publié: (2023)
General-Kindred Physics-Informed Neural Network to the Solutions of Singularly Perturbed Differential Equations
par: Wang, Sen, et autres
Publié: (2024)
par: Wang, Sen, et autres
Publié: (2024)
PO-CKAN:Physics Informed Deep Operator Kolmogorov Arnold Networks with Chunk Rational Structure
par: Wu, Junyi, et autres
Publié: (2025)
par: Wu, Junyi, et autres
Publié: (2025)
When Do Prompting and Prefix-Tuning Work? A Theory of Capabilities and Limitations
par: Petrov, Aleksandar, et autres
Publié: (2023)
par: Petrov, Aleksandar, et autres
Publié: (2023)
Prompting a Pretrained Transformer Can Be a Universal Approximator
par: Petrov, Aleksandar, et autres
Publié: (2024)
par: Petrov, Aleksandar, et autres
Publié: (2024)
Physics-Informed Deep Learning of Rate-and-State Fault Friction
par: Rucker, Cody, et autres
Publié: (2023)
par: Rucker, Cody, et autres
Publié: (2023)
Physics-Informed Mixture Models and Surrogate Models for Precision Additive Manufacturing
par: Basterrech, Sebastian, et autres
Publié: (2025)
par: Basterrech, Sebastian, et autres
Publié: (2025)
Structure-Preserving Physics-Informed Neural Network for the Korteweg--de Vries (KdV) Equation
par: Obieke, Victory, et autres
Publié: (2025)
par: Obieke, Victory, et autres
Publié: (2025)
Adaptive Diffusion Denoised Smoothing : Certified Robustness via Randomized Smoothing with Differentially Private Guided Denoising Diffusion
par: Shpilevskiy, Frederick, et autres
Publié: (2025)
par: Shpilevskiy, Frederick, et autres
Publié: (2025)
Loss Jump During Loss Switch in Solving PDEs with Neural Networks
par: Wang, Zhiwei, et autres
Publié: (2024)
par: Wang, Zhiwei, et autres
Publié: (2024)
Beyond Linear Probes: Dynamic Safety Monitoring for Language Models
par: Oldfield, James, et autres
Publié: (2025)
par: Oldfield, James, et autres
Publié: (2025)
A Physics-Informed Neural Network with a Modified Lorentzian Activation for Nonlocal Gradient-Flow Equations in Dynamic Density Functional Theory
par: Gourzoulidis, Dimitrios, et autres
Publié: (2026)
par: Gourzoulidis, Dimitrios, et autres
Publié: (2026)
CausalArmor: Efficient Indirect Prompt Injection Guardrails via Causal Attribution
par: Kim, Minbeom, et autres
Publié: (2026)
par: Kim, Minbeom, et autres
Publié: (2026)
Monotone, Bi-Lipschitz, and Polyak-Lojasiewicz Networks
par: Wang, Ruigang, et autres
Publié: (2024)
par: Wang, Ruigang, et autres
Publié: (2024)
MINPO: Memory-Informed Neural Pseudo-Operator to Resolve Nonlocal Spatiotemporal Dynamics
par: Mostajeran, Farinaz, et autres
Publié: (2025)
par: Mostajeran, Farinaz, et autres
Publié: (2025)
Accelerated Airfoil Design Using Neural Network Approaches
par: Patel, Anantram, et autres
Publié: (2025)
par: Patel, Anantram, et autres
Publié: (2025)
Bi-Factorial Preference Optimization: Balancing Safety-Helpfulness in Language Models
par: Zhang, Wenxuan, et autres
Publié: (2024)
par: Zhang, Wenxuan, et autres
Publié: (2024)
Efficient Lifelong Model Evaluation in an Era of Rapid Progress
par: Prabhu, Ameya, et autres
Publié: (2024)
par: Prabhu, Ameya, et autres
Publié: (2024)
DGenNO: A Novel Physics-aware Neural Operator for Solving Forward and Inverse PDE Problems based on Deep, Generative Probabilistic Modeling
par: Zang, Yaohua, et autres
Publié: (2025)
par: Zang, Yaohua, et autres
Publié: (2025)
Detecting LLM Hallucination Through Layer-wise Information Deficiency: Analysis of Ambiguous Prompts and Unanswerable Questions
par: Kim, Hazel, et autres
Publié: (2024)
par: Kim, Hazel, et autres
Publié: (2024)
Scalable Quantum Error Mitigation with Physically Informed Graph Neural Networks
par: Wang, Huaxin, et autres
Publié: (2026)
par: Wang, Huaxin, et autres
Publié: (2026)
Shh, don't say that! Domain Certification in LLMs
par: Emde, Cornelius, et autres
Publié: (2025)
par: Emde, Cornelius, et autres
Publié: (2025)
Provably Bounding Neural Network Preimages
par: Kotha, Suhas, et autres
Publié: (2023)
par: Kotha, Suhas, et autres
Publié: (2023)
Symbolic Neural Ordinary Differential Equations
par: Li, Xin, et autres
Publié: (2025)
par: Li, Xin, et autres
Publié: (2025)
Chebyshev Spectral Neural Networks for Solving Partial Differential Equations
par: Yin, Pengsong, et autres
Publié: (2024)
par: Yin, Pengsong, et autres
Publié: (2024)
Graph Edit Distance Formulation for the Vehicle Routing Problem: Theory and Analysis
par: Dabah, Adel
Publié: (2026)
par: Dabah, Adel
Publié: (2026)
Efficient High-Accuracy PDEs Solver with the Linear Attention Neural Operator
par: Zhong, Ming, et autres
Publié: (2025)
par: Zhong, Ming, et autres
Publié: (2025)
Symmetry Breaking in Neural Network Optimization: Insights from Input Dimension Expansion
par: Zhang, Jun-Jie, et autres
Publié: (2024)
par: Zhang, Jun-Jie, et autres
Publié: (2024)
Neumann Series-based Neural Operator for Solving Inverse Medium Problem
par: Liu, Ziyang, et autres
Publié: (2024)
par: Liu, Ziyang, et autres
Publié: (2024)
Domain-Decomposed Graph Neural Network Surrogate Modeling for Ice Sheets
par: Propp, Adrienne M., et autres
Publié: (2025)
par: Propp, Adrienne M., et autres
Publié: (2025)
FEKAN: Feature-Enriched Kolmogorov-Arnold Networks
par: Menon, Sidharth S., et autres
Publié: (2026)
par: Menon, Sidharth S., et autres
Publié: (2026)
The Loss Surfaces of Neural Networks with General Activation Functions
par: Baskerville, Nicholas P., et autres
Publié: (2020)
par: Baskerville, Nicholas P., et autres
Publié: (2020)
BridgeNet: A Hybrid, Physics-Informed Machine Learning Framework for Solving High-Dimensional Fokker-Planck Equations
par: Mirzabeigi, Elmira, et autres
Publié: (2025)
par: Mirzabeigi, Elmira, et autres
Publié: (2025)
Documents similaires
-
Verified Neural Compressed Sensing
par: Bunel, Rudy, et autres
Publié: (2024) -
Do as I do (Safely): Mitigating Task-Specific Fine-tuning Risks in Large Language Models
par: Eiras, Francisco, et autres
Publié: (2024) -
Expressive Losses for Verified Robustness via Convex Combinations
par: De Palma, Alessandro, et autres
Publié: (2023) -
Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019) -
Scaling the Convex Barrier with Sparse Dual Algorithms
par: De Palma, Alessandro, et autres
Publié: (2021)