University of Cambridge; DeepMind; University of Toronto, Vector Institute
Wenda Li, Lei Yu, Yuhuai Wu, Lawrence Paulson
mathematical reasoning;dataset;benchmark;reasoning;transformer
IsarStep: a Benchmark for High-level Mathematical Reasoning