Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson. IsarStep: a Benchmark for High-level Mathematical Reasoning. In 9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021. OpenReview.net, 2021. [doi]
Abstract is missing.