Probabilistic Model Checking of Autoregressive Neural Sequence Models
DGX agentarXiv:2609.00838v1 Announce Type: cross Abstract: Test-set accuracy is silent on two issues that matter when deploying autoregressive neural sequence models: how much probability mass the system under