LTL Instruction Following on ChessWorld finite-horizon phi1 (test)
99.3SRLTL-GNN
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| LTL-GNNHorizon=Finite2025.12 | 99.3 | 0.915 | |
| DeepLTLHorizon=Finite2025.12 | 99.1 | 0.906 | |
| TransformerHorizon=Finite2025.12 | 70.6 | 0.642 |
Loading the SOTA2 catalog…