INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving.

Yuhuai Wu, Albert Q. Jiang, Jimmy Ba, Roger Baker Grosse

Browse the full ICLR paper archive.