Alert button

INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

Jul 06, 2020
Yuhuai Wu, Albert Jiang, Jimmy Ba, Roger Grosse

Figure 1 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Figure 2 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Figure 3 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Figure 4 for INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

Share this with someone who'll enjoy it:

View paper onarxiv iconopen_review iconOpenReview

Share this with someone who'll enjoy it: