@misc{indiciae72d901a2d256,
  title = {From Transformers to Weighted Automata: Towards the Verification of Large Language Models},
  author = {Smayan Agarwal and Aslah Ahmad Faizi and Shobhit Singh and Aalok Thakkar},
  year = {2026},
  doi = {10.1007/978-3-032-25552-5\_10},
  url = {https://arxiv.org/abs/2610.04569},
  note = {Source identifier: 2610.04569}
}