IsarStep: a Benchmark for High-level Mathematical Reasoning

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: International Conference on Learning Representations

Journal publisher: International Conference on Representation Learning

Published year: 2021