Probabilistic Model Checking of Autoregressive Neural Sequence Models

arXiv:2609.00838 · cs.SE, cs.AI · Submitted 2026-09-01 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-09-01

Updated: 2026-09-01

Comments: 38th International Conference on Testing Software and Systems (IFIP ICTSS 2026)

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Accuracy — 26× in this paper · explained in 1 episode
Verification — 19× in this paper · explained in 2 episodes
Abstraction — 15× in this paper · explained in 1 episode
Trace — 14× in this paper · explained in 2 episodes
Aggregation — 8× in this paper · explained in 1 episode
Transformer — 7× in this paper · explained in 2 episodes
Verifier — 6× in this paper · explained in 2 episodes
Pruning — 5× in this paper · explained in 4 episodes
Failure Modes — 4× in this paper · explained in 3 episodes
Computer Aided Verification — 3× in this paper
Consistency — 2× in this paper · explained in 3 episodes
International Conference on Learning Representations — 2× in this paper
Reinforcement Learning — 2× in this paper · explained in 4 episodes
Closed-Loop System — 1× in this paper · explained in 4 episodes
Conformal Prediction — 1× in this paper · explained in 5 episodes
Decode — 1× in this paper · explained in 2 episodes
Deep Reinforcement Learning — 1× in this paper · explained in 2 episodes
Embeddings — 1× in this paper · explained in 2 episodes
Forty-first International Conference on Machine Learning — 1× in this paper
Hallucination — 1× in this paper · explained in 4 episodes
Model-Agnostic — 1× in this paper · explained in 2 episodes
Principles of Programming Languages — 1× in this paper
Probabilistic Computation Tree Logic — 1× in this paper
Robustness — 1× in this paper · explained in 5 episodes
SMT solver — 1× in this paper · explained in 2 episodes
Transformer Models — 1× in this paper · explained in 2 episodes

Sources

Training Verifiers to Solve Math Word Problems

Terminology

Sources

Related papers