SemML 2.0: Synthesizing Controllers for LTL (ArXiv cs.FL Recent Papers, 2026)