SMT-Based Active Learning of Weighted Automata

arXiv:2605.07758 · cs.FL, cs.LG · Submitted 2026-05-08 · Read on arXiv

cs.FL, cs.LG

Submitted: 2026-05-08

Updated: 2026-09-23

Terminology

• Active Learning — 20× in this paper · explained in 6 episodes
• Benchmark — 17× in this paper · explained in 2 episodes
• Verification — 13× in this paper · explained in 2 episodes
• SMT solver — 4× in this paper · explained in 2 episodes
• Ablation — 3× in this paper · explained in 1 episode
• Ablation study — 3× in this paper · explained in 1 episode
• Abstraction — 3× in this paper · explained in 1 episode
• Active Automata Learning — 3× in this paper · explained in 1 episode
• Formal Methods — 2× in this paper · explained in 3 episodes
• Generalization — 2× in this paper · explained in 13 episodes
• Adaptation — 1× in this paper · explained in 1 episode
• Formal Verification — 1× in this paper · explained in 2 episodes
• Trace — 1× in this paper · explained in 2 episodes

Related papers

• Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations