{"type": "article", "title": "YUKTI: From Natural-Language Situations to Robust, Verifiable Decisions An Uncertainty-Typed Proposition IR, Assumption-Robust Pareto Frontiers, and a Regret Certificate", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/yukti-from-natural-language-situations-to-robust-verifiable-decisions-an-typed-a", "original_source": "https://arxiv.org/abs/2607.09706", "published": "2026-07-14T04:00:00+00:00", "accessed": "2026-07-14", "id": "yukti-from-natural-language-situations-to-robust-verifiable-decisions-an-typed-a"}