Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
机构 * Hong Kong University of Science and Technology(香港科技大学) ; University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) ; Princeton University(普林斯顿大学)
高校专区
机构 * Hong Kong University of Science and Technology(香港科技大学) ; University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) ; Princeton University(普林斯顿大学)
机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
Comments Source code: https://github.com/yzjiao/Text2DB
机构 * University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) ; Peking University(北京大学) ; NVIDIA(英伟达)
Comments 29 pages, 4 figures
机构 * Department of Computer Science UIUC(计算机科学系 UIUC)
机构 * Siebel School of Computing and Data Science, University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校计算机与数据科学学院) ; Department of Computer Science, Purdue University(普渡大学计算机科学系)
Comments NeurIPS 2025. 21 pages, 17 figures