文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Lei Yu
发表
IsarStep: a Benchmark for High-level Mathematical Reasoning
Lawrence C. Paulson, Wenda Li, Yuhuai Wu, 2021, ICLR.