APA (7th ed.) Citation

Wang, E., Chess, S., Lee, D., Ge, S., Mallavarapu, A., Alper, J., & Ilin, V. (2026). Learning to Repair Lean Proofs from Compiler Feedback.

Chicago Style (17th ed.) Citation

Wang, Evan, Simon Chess, Daniel Lee, Siyuan Ge, Ajit Mallavarapu, Jarod Alper, and Vasily Ilin. Learning to Repair Lean Proofs from Compiler Feedback. 2026.

MLA (9th ed.) Citation

Wang, Evan, et al. Learning to Repair Lean Proofs from Compiler Feedback. 2026.