SMT-Based Active Learning of Weighted Automata
DGX agentarXiv:2605.07758v1 Announce Type: cross Abstract: We present an SMT-based active learning algorithm for nondeterministic weighted automata (WFAs) as a practical and robust alternative to Hankel/L*-sty