ResearchBenchmarksLTLf Induction on LTLf Mutually Exclusive setting sequence length 10 (test)Follow99.91AccuracyT-ILR31.769249.459667.1584.8404Aug 21, 2025Evaluation ResultsMethodMethodLinksAccuracyTraining RuntimeT-ILR|P|=2|P|=22025.0899.910.91T-ILR|P|=3|P|=32025.0871.540.95DFA|P|=2|P|=22025.0870.836.21T-ILR|P|=4|P|=42025.0866.851.36DFA|P|=3|P|=32025.0864.719.47DFA|P|=4|P|=42025.0834.3940.3