Skip to main content
Proving Theorems Recursively
- Item #:
- 079017-2753
- UPC:
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)