Proving Theorems Recursively

Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
May, 2024
PDF Cite URL Code
Type
Conference Paper
Publication
The Thirty-eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)
Yinya Huang
Yinya Huang