Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger Baker Grosse. INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving. In 9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021. OpenReview.net, 2021. [doi]
Abstract is missing.