@misc{indiciae610c00b68d28,
  title = {Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization},
  author = {Navid Rezazadeh and Arash Gholami Davoodi},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10974},
  note = {Source identifier: 2605.10974}
}