NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning.

Yue Fang, Shaohan Huang, Xin Yu, Haizhen Huang, Zihan Zhang, Weiwei Deng, Furu Wei, Feng Sun, Qi Zhang, Zhi Jin

Browse the full EMNLP paper archive.