neural-translation

NeuroNL2LTL 是一个神经符号框架，它使用带有验证器在环训练的两阶段架构，将自然语言翻译为线性时序逻辑（LTL），从而为安全关键规范提供改进的正确性保证。