Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
LTL Instruction Following on LetterWorld Infinite-horizon
Loading...
11.67
µAcc
SEMLTL
2.206
4.663
7.12
9.577
Feb 6, 2026
µAcc
Avg States Traversed (µstates)
Updated 1mo ago
Evaluation Results
Method
Method
Links
µAcc
Avg States Traversed (µstates)
SEMLTL
Task Formula=GF(a ∧ F...
2026.02
11.67
4.08
DEEPLTL
Task Formula=GF(a ∧ F...
2026.02
9.72
-
SEMLTL
Task Formula=GF a ∧ GF...
2026.02
2.58
5.44
DEEPLTL
Task Formula=GF a ∧ GF...
2026.02
2.57
-
Feedback
Search any
task
Search any
task