firstbacksecondback
2 Results
|
Poster
|
Thu 17:00 |
Contrastive Syn-to-Real Generalization Wuyang Chen · Zhiding Yu · Shalini De Mello · Sifei Liu · Jose M. Alvarez · Zhangyang Wang · Anima Anandkumar |
|
|
Poster
|
Wed 17:00 |
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu · Albert Jiang · Jimmy Ba · Roger Grosse |