Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Item #:

079017-3357

Details

DOI: https://doi.org/10.52202/079017-3357
Author(s): Kai Chen, Yihan Geng, Dahua Lin, Jiayu Wang, Zijian Wu, Huaiyuan Ying
Pages: 105848-105863 (16 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-3357
Author(s): Kai Chen, Yihan Geng, Dahua Lin, Jiayu Wang, Zijian Wu, Huaiyuan Ying
Pages: 105848-105863 (16 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)