SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. - Jan Kretínský; Tobias Meggendorfer; Maximilian Prokop; Ashkan Zarkhah (TACAS (1), 2025)