ResearchBenchmarksLTLf Induction on LTLf Non-Mutually Exclusive setting sequence length 20 (test)Follow88.62AccuracyT-ILR55.298463.949272.681.2508Aug 21, 2025Evaluation ResultsMethodMethodLinksAccuracyTraining RuntimeT-ILR|P|=2|P|=22025.0888.623.1DFA|P|=2|P|=22025.0884.7915.96T-ILR|P|=3|P|=32025.0874.653.67DFA|P|=3|P|=32025.0868.1223.53T-ILR|P|=4|P|=42025.0860.2210.45DFA|P|=4|P|=42025.0856.5847.45