From Transformers to Weighted Automata: Towards the Verification of Large Language Models

arXiv:2610.04569 · cs.FL, cs.LG · Submitted 2026-10-03 · Read on arXiv

cs.FL, cs.LG

Submitted: 2026-10-03

Updated: 2026-10-03

Terminology

• Transformer — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

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