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

> Research article (arXiv (Cornell University), 2021) · cited 11× · AI/ML

**Wikidata**: [openalex:W3133204645](https://www.wikidata.org/wiki/openalex:W3133204645)  
**Source**: https://4ort.xyz/entity/int-an-inequality-benchmark-for-evaluating-generalization-in-theorem-proving