@misc{indiciae3d5faab174a4,
  title = {INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving},
  author = {Yuhuai Wu and Albert Qiaochu Jiang and Jimmy Ba and Roger Grosse},
  year = {2021},
  url = {https://arxiv.org/abs/2007.02924},
  note = {Source identifier: 2007.02924}
}