APA (7th ed.) Citation

Jiang, H., Hague, M., Rümmer, P., & Lin, A. W. (2026). Synthesis and Verification of Transformer Programs (Technical Report).

Chicago Style (17th ed.) Citation

Jiang, Hongjian, Matthew Hague, Philipp Rümmer, and Anthony Widjaja Lin. Synthesis and Verification of Transformer Programs (Technical Report). 2026.

MLA (9th ed.) Citation

Jiang, Hongjian, et al. Synthesis and Verification of Transformer Programs (Technical Report). 2026.