GitHub repository: mtyrolski/INT
Primary language: Jupyter Notebook
Description: Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving