miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
机构 * Huawei Hong Kong Research Center（华为香港研究中心） ； Department of Computer Science & Engineering, The Chinese University of Hong Kong（香港中文大学计算机科学与工程系）
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
