INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

Published in International Conference on Learning Representations (ICLR 2021), 2021

Download paper here