System
PropaLTL
Year
2023
Results split
test
Official Metric for Ranking
ICM
Source
Publication
ICM
0.86