@misc{indiciaec9420bbc1a98,
  title = {Practical Formal Verification for MLIR Programs},
  author = {Emily Tucker and Louis-Noël Pouchet and Erika Hunhoff and Stephen Neuendorffer and Erwei Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2605.01124},
  note = {Source identifier: 2605.01124}
}