ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
ConformalNL2LTL:通过符合正确性保证将自然语言指令转换为时序逻辑公式
机构 * Department of Electrical and Systems Engineering, Washington University in St Louis(华盛顿大学圣路易斯分校电子与系统工程系) ; Department of Computer Science, University of Southern California(南加州大学计算机科学系)
AI总结 ConformalNL2LTL通过主辅模型协作和符合预测,将自然语言指令转换为时序逻辑公式并保证正确性。