Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
NL-to-TL Translation on Traffic Light
Loading...
100
LE Accuracy
Lang2LTL
41.344
56.572
71.8
87.028
Dec 18, 2025
LE Accuracy
GLE Accuracy
Updated 1mo ago
Evaluation Results
Method
Method
Links
LE Accuracy
GLE Accuracy
Lang2LTL
Framework=Seq2seq
2025.12
100
73.6
GinSign
Components=BERT liftin...
2025.12
100
98.3
NL2TL
Framework=Seq2seq, Eva...
2025.12
98.7
60.1
NL2LTL
Model=GPT-4.1, Evaluat...
2025.12
43.6
38.4
Feedback
Search any
task
Search any
task