firstbacksecondback
2 Results
|
Poster
|
Mon 9:00 |
Learning Structural Edits via Incremental Tree Transformations Ziyu Yao · Frank F Xu · Pengcheng Yin · Huan Sun · Graham Neubig |
|
|
Poster
|
Wed 17:00 |
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Yuhuai Wu · Albert Jiang · Jimmy Ba · Roger Grosse |