TY  - RPRT
TI  - INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
AU  - Yuhuai Wu
AU  - Albert Qiaochu Jiang
AU  - Jimmy Ba
AU  - Roger Grosse
PY  - 2021
UR  - https://arxiv.org/abs/2007.02924
ID  - 2007.02924
ER  -