INT: An Inequality Benchmark for Evaluating Generalization in Theorem
Proving

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

6 July 2020

Albert Qiaochu Jiang

Jimmy Ba

Roger C. Grosse

Papers citing "INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving"

Title
No papers