Proving Theorems Recursively

Item #:

079017-2753

Details

DOI: https://doi.org/10.52202/079017-2753
Author(s): Yinya Huang, Wenda Li, Zhenguo Li, Xiaodan Liang, Zhengying Liu, Jianqiao Lu, Jing Tang, Haiming Wang, Huajian Xin, Zhicheng Yang, Jian Yin
Pages: 86720-86748 (29 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 37
Date/Location: Held 10-15 December 2024, Vancouver, Canada.
Series: Advances in Neural Information Processing Systems 37
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/079017-2753
Author(s): Yinya Huang, Wenda Li, Zhenguo Li, Xiaodan Liang, Zhengying Liu, Jianqiao Lu, Jing Tang, Haiming Wang, Huajian Xin, Zhicheng Yang, Jian Yin
Pages: 86720-86748 (29 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 37
Date/Location: Held 10-15 December 2024, Vancouver, Canada.
Series: Advances in Neural Information Processing Systems 37
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)