Showing 1–20 of 23 results
/ Date/ Name
Feb 25, 2025FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language ModelsJan 15, 2014AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical ModelsOct 9, 2025Interpreting LLM-as-a-Judge Policies via Verifiable Global ExplanationsOct 10, 2025SIMBA UQ: Similarity-Based Aggregation for Uncertainty Quantification in Large Language ModelsJan 16, 2026FactCorrector: A Graph-Inspired Approach to Long-Form Factuality Correction of Large Language ModelsAug 30, 2023Iterative Reward Shaping using Human Feedback for Correcting Reward MisspecificationAug 31, 2023Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFOOct 16, 2012Multi-objective Influence DiagramsFeb 2, 2019Generating Dialogue Agents via Automated PlanningJun 19, 2024WikiContradict: A Benchmark for Evaluating LLMs on Real-World Knowledge Conflicts from WikipediaJun 27, 2025The Consistency Hypothesis in Uncertainty Quantification for Large Language ModelsJul 11, 2025Optimistic Exploration for Risk-Averse Constrained Reinforcement LearningSep 25, 2021Logical Credal NetworksMay 15, 2023An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural RepresentationsOct 19, 2012Systematic vs. Non-systematic Algorithms for Solving the MPE TaskFeb 2, 2024Foundation Model Sherpas: Guiding Foundation Models through Knowledge and ReasoningSep 2, 2025Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal ModelsDec 17, 2021Contrastive Explanations for Comparing Preferences of Reinforcement Learning AgentsJul 18, 2022Boolean Decision Rules for Reinforcement Learning Policy SummarisationFeb 14, 2012Order-of-Magnitude Influence Diagrams