Bayesian & Probabilistic

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound ICML 2025 Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits ICML 2025 Sparse Autoencoders Reveal Temporal Difference Learning in Large Language Models ICLR 2025 Spike-and-Slab Posterior Sampling in High Dimensions COLT 2025 Stage-Aware Event-Based Modeling (SA-EBM) for Disease Progression MLHC 2025 Statistical Methodologies for Decision-Making and Uncertainty Reduction in Machine Learning AAAI 2025 Stein Variational Evolution Strategies UAI 2025 Stochastic Weight Sharing for Bayesian Neural Networks AISTATS 2025 Streamlining Prediction in Bayesian Deep Learning ICLR 2025 Sum of Squares Circuits AAAI 2025 Surprise Calibration for Better In-Context Learning EMNLP 2025 Sustainable Wearables for Health Applications and Beyond via Uncertainty-Aware Energy Management IJCAI 2025 Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo ICLR 2025 Temperature-Annealed Boltzmann Generators ICML 2025 Temperature Optimization for Bayesian Deep Learning UAI 2025 The GeometricKernels Package: Heat and Matérn Kernels for Geometric Learning on Manifolds, Meshes, and Graphs JMLR 2025 The Geometry of Creative Variability: How Credal Sets Expose Calibration Gaps in Language Models EMNLP 2025 The interventional Bayesian Gaussian equivalent score for Bayesian causal inference with unknown soft interventions CLeaR 2025 The "Law'' of the Unconscious Contrastive Learner: Probabilistic Alignment of Unpaired Modalities ICLR 2025 The Limits of Tractable Marginalization ICML 2025 Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models ACL 2025 Theorem Prover as a Judge for Synthetic Data Generation ACL 2025 Theoretical Convergence Guarantees for Variational Autoencoders AISTATS 2025 Theoretical proposal for a unified Bayesian model of adaptation in non-interactive and interactive speech production Interspeech 2025 TimePFN: Effective Multivariate Time Series Forecasting with Synthetic Data AAAI 2025