APA (7th ed.) Citation

Tucker, E., Pouchet, L., Hunhoff, E., Neuendorffer, S., & Wang, E. (2026). Practical Formal Verification for MLIR Programs.

Chicago Style (17th ed.) Citation

Tucker, Emily, Louis-Noël Pouchet, Erika Hunhoff, Stephen Neuendorffer, and Erwei Wang. Practical Formal Verification for MLIR Programs. 2026.

MLA (9th ed.) Citation

Tucker, Emily, et al. Practical Formal Verification for MLIR Programs. 2026.