firstbacksecondback
2 Results
|
Poster
|
Wed 17:00 |
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu · Albert Jiang · Jimmy Ba · Roger Grosse |
|
|
Poster
|
Wed 9:00 |
IsarStep: a Benchmark for High-level Mathematical Reasoning Wenda Li · Lei Yu · Yuhuai Wu · Lawrence Paulson |