University of Toronto & Vector Institute
Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger Grosse
Theorem proving;Synthetic benchmark dataset;Generalization;Transformers;Graph neural networks;Monte Carlo Tree Search
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving