Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Learning to Guide Local Search for MPE Inference in Probabilistic Graphical Models
Brij Malhotra, Shivvrat Arya, Tahrima Rahman +1
Most Probable Explanation (MPE) inference in Probabilistic Graphical Models (PGMs) is a fundamental yet computationally challenging problem arising in domains such as diagnosis, pl…
cs.AI2025
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
Navapat Nananukul, Yue Zhang, Ryan Lee +5
High-assurance reasoning, particularly in critical domains such as law and medicine, requires conclusions that are accurate, verifiable, and explicitly grounded in evidence. This r…