Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
NL-to-TL Translation on Search and Rescue
Loading...
41.8
LE
NL2LTL
39.472
55.186
70.9
86.614
Dec 18, 2025
LE
GLE
Updated 1mo ago
Evaluation Results
Method
Method
Links
LE
GLE
NL2LTL
Model=GPT-4.1, Evaluat...
2025.12
41.8
35.4
NL2TL
Framework=Seq2seq, Eva...
2025.12
95
54.4
Lang2LTL
Framework=Seq2seq
2025.12
100
59
GinSign
Components=BERT liftin...
2025.12
100
93.4
Feedback
Search any
task
Search any
task
