NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

NeuroNL2LTL é uma arquitetura neurosimbólica que une a tradução aprendida com a verificação formal para converter linguagem natural em Lógica Temporal Linear. Ele utiliza um treinamento com verificador no loop, onde os resultados da verificação servem como sinais de recompensa para o aprendizado por reforço, otimizando a correção formal.