SMT-Based Active Learning of Weighted Automata (ArXiv cs.FL Recent Papers, 2026)