Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery

• URL: http://arxiv.org/abs/2601.12442v1
• Date: Sun, 18 Jan 2026 14:57:35 GMT
• Title: Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery
• Abstract summary: Existing uncertainty quantification methods lack mechanisms to incorporate symbolic scientific knowledge.<n>We introduce the Constraint-Aware Neurosymbolic Uncertainty Framework (CANUF), unifying Bayesian deep learning with differentiable symbolic reasoning.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Scientific Artificial Intelligence (AI) applications require models that deliver trustworthy uncertainty estimates while respecting domain constraints. Existing uncertainty quantification methods lack mechanisms to incorporate symbolic scientific knowledge, while neurosymbolic approaches operate deterministically without principled uncertainty modeling. We introduce the Constraint-Aware Neurosymbolic Uncertainty Framework (CANUF), unifying Bayesian deep learning with differentiable symbolic reasoning. The architecture comprises three components: automated constraint extraction from scientific literature, probabilistic neural backbone with variational inference, and differentiable constraint satisfaction layer ensuring physical consistency. Experiments on Materials Project (140,000+ materials), QM9 molecular properties, and climate benchmarks show CANUF reduces Expected Calibration Error by 34.7% versus Bayesian neural networks while maintaining 99.2% constraint satisfaction. Ablations reveal constraint-guided recalibration contributes 18.3% performance gain, with constraint extraction achieving 91.4% precision. CANUF provides the first end-to-end differentiable pipeline simultaneously addressing uncertainty quantification, constraint satisfaction, and interpretable explanations for scientific predictions.

Related papers

• Conformal Prediction for Neural Operators: Distribution-Free Uncertainty Quantification in Physics Simulation [0.0]
  We propose the first application of split conformal prediction to neural operator-based physics simulation.<n>Our method achieves 89.1% empirical coverage at the target level of alpha=0.1.<n>Our method is implemented in an open-source platform with REST API endpoints and interactive 3D visualization.
  arXiv  Detail & Related papers  (2026-06-07T08:52:38Z)
• Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT [0.7340017786387767]
  We introduce a robust inference method based on weighted MaxSMT.<n>We show our approach can be used to successfully infer neural cell differentiation models from prior-knowledge networks.
  arXiv  Detail & Related papers  (2026-05-08T08:34:50Z)
• Complex-Valued Unitary Representations as Classification Heads for Improved Uncertainty Quantification in Deep Neural Networks [1.932555230783329]
  Modern deep neural networks achieve high predictive accuracy but remain poorly calibrated.<n>We propose a quantum-inspired classification head architecture that projects backbone features into a complex-valued space.<n>Our ablation study on CIFAR-10 reveals that the unitary magnitude head (complex features evolved under a Cayley unitary, read out via magnitude and softmax) achieves an Expected Error (ECE) of 0.0146, representing a 2.4x improvement over a standard softmax head.<n>Surprisingly, replacing the softmax readout with a Hilbert rule measurement layer - the quantum-mechanically motivated approach - degrades calibration to an ECE of 0.0819
  arXiv  Detail & Related papers  (2026-02-17T00:45:27Z)
• PhyNiKCE: A Neurosymbolic Agentic Framework for Autonomous Computational Fluid Dynamics [0.0]
  This work introduces PhyNiKCE, a neurosymbolic agentic framework for trustworthy engineering.<n>Unlike standard black-box agents, PhyNiKCE decouples neural planning from symbolic validation.<n>This architecture offers a scalable, auditable paradigm for Trustworthy Artificial Intelligence in broader industrial automation.
  arXiv  Detail & Related papers  (2026-02-12T07:37:56Z)
• Disentangling Aleatoric and Epistemic Uncertainty in Physics-Informed Neural Networks. Application to Insulation Material Degradation Prognostics [1.1417805445492082]
  Most existing PIN-based prognostics approaches are deterministic or account only for uncertainty, limiting their suitability for risk-aware decision-making.<n>This work introduces a heteroscedastic Bayesian Physics-Informed Neural Network (B-PINN) framework that integrates BNNs with physics-based residual enforcement and prior distributions.<n>Results show that the proposed B-PINN provides improved predictive accuracy and better systematic uncertainty estimates than competing approaches.
  arXiv  Detail & Related papers  (2026-01-07T07:54:09Z)
• The Eminence in Shadow: Exploiting Feature Boundary Ambiguity for Robust Backdoor Attacks [51.468144272905135]
  Deep neural networks (DNNs) underpin critical applications yet remain vulnerable to backdoor attacks.<n>We provide a theoretical analysis targeting backdoor attacks, focusing on how sparse decision boundaries enable disproportionate model manipulation.<n>We propose Eminence, an explainable and robust black-box backdoor framework with provable theoretical guarantees and inherent stealth properties.
  arXiv  Detail & Related papers  (2025-12-11T08:09:07Z)
• Enhancing Uncertainty Estimation and Interpretability via Bayesian Non-negative Decision Layer [55.66973223528494]
  We develop a Bayesian Non-negative Decision Layer (BNDL), which reformulates deep neural networks as a conditional Bayesian non-negative factor analysis.<n>BNDL can model complex dependencies and provide robust uncertainty estimation.<n>We also offer theoretical guarantees that BNDL can achieve effective disentangled learning.
  arXiv  Detail & Related papers  (2025-05-28T10:23:34Z)
• Uncertainty Quantification for Physics-Informed Neural Networks with Extended Fiducial Inference [10.530131993583623]
  Uncertainty quantification in scientific machine learning is increasingly critical.<n>For physics-informed neural networks (PINNs), uncertainty is typically quantified using Bayesian or dropout methods.<n>We propose a novel method within the framework of extended fiducial inference (EFI) to provide rigorous uncertainty quantification for PINNs.
  arXiv  Detail & Related papers  (2025-05-25T13:18:13Z)
• Physics-constrained polynomial chaos expansion for scientific machine learning and uncertainty quantification [6.739642016124097]
  We present a novel physics-constrained chaos expansion as a surrogate modeling method capable of performing both scientific machine learning (SciML) and uncertainty quantification (UQ) tasks. The proposed method seamlessly integrates SciML into UQ and vice versa, which allows it to quantify the uncertainties in SciML tasks effectively and leverage SciML for improved uncertainty assessment during UQ-related tasks.
  arXiv  Detail & Related papers  (2024-02-23T06:04:15Z)
• Uncertainty Quantification for Forward and Inverse Problems of PDEs via Latent Global Evolution [110.99891169486366]
  We propose a method that integrates efficient and precise uncertainty quantification into a deep learning-based surrogate model. Our method endows deep learning-based surrogate models with robust and efficient uncertainty quantification capabilities for both forward and inverse problems. Our method excels at propagating uncertainty over extended auto-regressive rollouts, making it suitable for scenarios involving long-term predictions.
  arXiv  Detail & Related papers  (2024-02-13T11:22:59Z)
• Calibrated Uncertainty Quantification for Operator Learning via Conformal Prediction [95.75771195913046]
  We propose a risk-controlling quantile neural operator, a distribution-free, finite-sample functional calibration conformal prediction method. We provide a theoretical calibration guarantee on the coverage rate, defined as the expected percentage of points on the function domain. Empirical results on a 2D Darcy flow and a 3D car surface pressure prediction task validate our theoretical results.
  arXiv  Detail & Related papers  (2024-02-02T23:43:28Z)
• The Unreasonable Effectiveness of Deep Evidential Regression [72.30888739450343]
  A new approach with uncertainty-aware regression-based neural networks (NNs) shows promise over traditional deterministic methods and typical Bayesian NNs. We detail the theoretical shortcomings and analyze the performance on synthetic and real-world data sets, showing that Deep Evidential Regression is a quantification rather than an exact uncertainty.
  arXiv  Detail & Related papers  (2022-05-20T10:10:32Z)
• Deterministic Neural Networks with Appropriate Inductive Biases Capture Epistemic and Aleatoric Uncertainty [91.01037972035635]
  We show that a single softmax neural net with minimal changes can beat the uncertainty predictions of Deep Ensembles. We study why, and show that with the right inductive biases, softmax neural nets trained with maximum likelihood reliably capture uncertainty through the feature-space density.
  arXiv  Detail & Related papers  (2021-02-23T09:44:09Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.