NL-to-TL Translation on Warehouse
100LE AccuracyLang2LTL
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Lang2LTLFramework=Seq2seq2025.12 | 100 | 38.8 | |
| GinSignComponents=BERT lifting + T5 translation2025.12 | 100 | 95 | |
| NL2TLFramework=Seq2seq, Evaluation Note=Does not distinguish between predicate and argument grounding2025.12 | 99 | 46.2 | |
| NL2LTLModel=GPT-4.1, Evaluation Note=Does not distinguish between predicate and argument grounding2025.12 | 42.6 | 26.2 |