Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox


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