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