evision PDF of '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 |