INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

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