NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
NeuroNL2LTL:用于线性时序逻辑自然语言翻译的神经符号框架
机构 * Baylor University(贝勒大学)
专题命中 模仿学习与强化学习 :robotics(abstract);分类 cs.AI
AI总结 提出NeuroNL2LTL神经符号框架,通过验证器在环训练和最小编辑修复机制,实现自然语言到线性时序逻辑的高可靠性翻译,在20万+需求上达到86%的可满足性输出。