ResearchBenchmarksLTLf Induction on LTLf Mutually Exclusive setting sequence length 5 (test)Follow100AccuracyT-ILR38.182454.231270.2886.3288Aug 21, 2025Evaluation ResultsMethodMethodLinksAccuracyTraining RuntimeT-ILR|P|=2|P|=22025.081000.77DFA|P|=2|P|=22025.0889.734.05T-ILR|P|=3|P|=32025.0872.640.79DFA|P|=3|P|=32025.0872.255.9T-ILR|P|=4|P|=42025.0849.520.89DFA|P|=4|P|=42025.0840.5629.28