ResearchBenchmarksLTLf Induction on LTLf Non-Mutually Exclusive setting sequence length 10 (test)Follow92.92AccuracyDFA54.720864.637974.55584.4721Aug 21, 2025Evaluation ResultsMethodMethodLinksAccuracyTraining RuntimeDFA|P|=2|P|=22025.0892.929.37T-ILR|P|=2|P|=22025.0892.832.21T-ILR|P|=3|P|=32025.0872.082.57DFA|P|=3|P|=32025.0866.5912.45T-ILR|P|=4|P|=42025.0861.933.85DFA|P|=4|P|=42025.0856.1943.61