Tag
NeuroNL2LTL is a neurosymbolic framework that translates natural language to Linear Temporal Logic (LTL) using a two-stage architecture with verifier-in-the-loop training, achieving improved correctness guarantees for safety-critical specifications.