
YUKTI: Robust, Verifiable Decision-Making for Language Models
YUKTI introduces a typed-proposition graph to move beyond naive point-valued optimization in language models. By incorporating uncertainty, provenance, and assumption-robust Pareto frontiers, it significantly reduces decision regret in complex, real-world scenarios.
