Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning.

Zhikun Xu, Xiaodong Yu, Ben Zhou, Jiang Liu, Jialian Wu, Ze Wang, Ximeng Sun, Hao Chen, Zicheng Liu

Browse the full ACL paper archive.