ResearchBenchmarksLTLf Induction on LTLf Non-Mutually Exclusive setting sequence length 5 (test)Follow83.05AccuracyT-ILR52.827660.673868.5276.3662Aug 21, 2025Evaluation ResultsMethodMethodLinksAccuracyTraining Runtime (s)T-ILR|P|=2|P|=22025.0883.051.92DFA|P|=2|P|=22025.0882.966.33T-ILR|P|=3|P|=32025.08722.16DFA|P|=3|P|=32025.0865.518.67T-ILR|P|=4|P|=42025.0860.812.57DFA|P|=4|P|=42025.0853.9938.21