NL-to-TL Translation on Traffic Light
100LE AccuracyLang2LTL
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Lang2LTLFramework=Seq2seq2025.12 | 100 | 73.6 | |
| GinSignComponents=BERT lifting + T5 translation2025.12 | 100 | 98.3 | |
| NL2TLFramework=Seq2seq, Evaluation Note=Does not distinguish between predicate and argument grounding2025.12 | 98.7 | 60.1 | |
| NL2LTLModel=GPT-4.1, Evaluation Note=Does not distinguish between predicate and argument grounding2025.12 | 43.6 | 38.4 |