TY - RPRT TI - YUKTI: From Natural-Language Situations to Robust, Verifiable Decisions An Uncertainty-Typed Proposition IR, Assumption-Robust Pareto Frontiers, and a Regret Certificate AU - Suyash Mishra PY - 2026 UR - https://arxiv.org/abs/2607.09706 ID - 2607.09706 ER -