IsarStep: a Benchmark for High-level Mathematical Reasoning.

Wenda Li, Lei Yu, Yuhuai Wu, Lawrence C. Paulson

Browse the full ICLR paper archive.