TY - RPRT TI - Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery AU - Shahnawaz Alam AU - Mohammed Mudassir Uddin AU - Mohammed Kaif Pasha PY - 2026 UR - https://arxiv.org/abs/2601.12442 ID - 2601.12442 ER -