NL-to-TL Translation on Search and Rescue
41.8LENL2LTL
Evaluation results
| Method | Links | ||
|---|---|---|---|
| NL2LTLModel=GPT-4.1, Evaluation Note=Does not distinguish between predicate and argument grounding2025.12 | 41.8 | 35.4 | |
| NL2TLFramework=Seq2seq, Evaluation Note=Does not distinguish between predicate and argument grounding2025.12 | 95 | 54.4 | |
| Lang2LTLFramework=Seq2seq2025.12 | 100 | 59 | |
| GinSignComponents=BERT lifting + T5 translation2025.12 | 100 | 93.4 |