APA (7th ed.) Citation

Zhu, T., Clune, J., Avigad, J., Jiang, A. Q., & Welleck, S. (2025). Premise Selection for a Lean Hammer.

Chicago Style (17th ed.) Citation

Zhu, Thomas, Joshua Clune, Jeremy Avigad, Albert Qiaochu Jiang, and Sean Welleck. Premise Selection for a Lean Hammer. 2025.

MLA (9th ed.) Citation

Zhu, Thomas, et al. Premise Selection for a Lean Hammer. 2025.