OTHER
NeuroNL2LTL：一种用于线性时序逻辑自然语言翻译的神经符号框架
Paapa Kwesi Quansah, Ernest Bonnah
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
提出了一种神经符号架构，通过结构保持的中间表示和验证器在环训练，将自然语言翻译为线性时序逻辑，并确保输出的可满足性。该方法在20万条跨领域需求上实现了28%的语义等价率和86%的可满足率。
关键词
neurosymboliclinear temporal logicnatural language translationformal verificationreinforcement learning
相关论文
OTHER
📊 26,957 引用
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
OTHER
开放获取📊 20,501 引用
Fractional Differential Equations
Igor Podlubný
2025
OTHER
📊 18,993 引用
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991
OTHER
📊 13,277 引用
Genetic Programming: On the Programming of Computers by Means of Natural Selection
John R. Koza
1992