TY  - RPRT
TI  - Practical Formal Verification for MLIR Programs
AU  - Emily Tucker
AU  - Louis-Noël Pouchet
AU  - Erika Hunhoff
AU  - Stephen Neuendorffer
AU  - Erwei Wang
PY  - 2026
UR  - https://arxiv.org/abs/2605.01124
ID  - 2605.01124
ER  -