Suyash Mishra Mr

YUKTI框架将语言转化为可验证的决策

研究人员开发了YUKTI，一个将自然语言描述转化为鲁棒且可验证决策的新框架。与依赖单目标优化和点值系数的现有方法不同，YUKTI利用类型命题图来整合不确定性、出处和形状先验。这种方法允许YUKTI将决策制定的不同阶段路由到合适的求解器，并采用假设鲁棒帕累托前沿（ARPF）来评估在不同假设下某个行动的存活频率，从而限制决策后悔。验证表明，与朴素的点计划相比，YUKTI显著减少了后悔，并且在大型语言模型（LLM）仅用于公式化时，其表现甚至优于LLM。