04:00
2026-07-14
arxiv.org
artificial-intelligence
YUKTI: From Natural-Language Situations to Robust, Verifiable Decisions An Uncertainty-Typed Proposition IR, Assumption-Robust Pareto Frontiers, and a Regret Certificate
Researchers introduced YUKTI, a framework that converts natural-language situations into robust, verifiable decisions by representing uncertainty in typed-proposition graphs and using Assumption-Robus…