ResearchBenchmarksLTLf Induction on LTLf Mutually Exclusive setting sequence length 20 (test)Follow99.84AccuracyT-ILR22.328842.451962.57582.6981Aug 21, 2025Evaluation ResultsMethodMethodLinksAccuracyTraining RuntimeT-ILR|P|=2|P|=22025.0899.841.39T-ILR|P|=3|P|=32025.0884.61.44DFA|P|=2|P|=22025.0869.639.87T-ILR|P|=4|P|=42025.0860.474.32DFA|P|=3|P|=32025.0857.4916.79DFA|P|=4|P|=42025.0825.3144.58