LTLf
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
LTLf Non-Mutually Exclusive setting sequence length 20 (test)
88.62Accuracy
6
LTLf Non-Mutually Exclusive setting sequence length 10 (test)
92.92Accuracy
6
LTLf Non-Mutually Exclusive setting sequence length 5 (test)
83.05Accuracy
6
LTLf Mutually Exclusive setting sequence length 20 (test)
99.84Accuracy
6
LTLf Mutually Exclusive setting sequence length 10 (test)
99.91Accuracy
6
LTLf Mutually Exclusive setting sequence length 5 (test)
100Accuracy
6