@inproceedings{int_iclr21,
title={{\{}INT{\}}: An Inequality Benchmark for Evaluating Generalization in Theorem Proving},
author={Yuhuai Wu and Albert Jiang and Jimmy Ba and Roger Baker Grosse},
booktitle={International Conference on Learning Representations (ICLR)},
year={2021}
}
links