firstbacksecondback
6 Results
|
Workshop
|
Sat 6:55 |
MATH-AI: Toward Human-Level Mathematical Reasoning Pan Lu · Swaroop Mishra · Sean Welleck · Yuhuai Wu · Hannaneh Hajishirzi · Percy Liang |
|
|
Workshop
|
Sat 14:00 |
MATH-AI: Toward Human-Level Mathematical Reasoning Francois Charton · Noah Goodman · Behnam Neyshabur · Talia Ringer · Daniel Selsam |
|
|
Workshop
|
What is my math transformer doing? Three results on interpretability and generalization Francois Charton |
||
|
Workshop
|
Sat 13:00 |
Leveraging Maths to Understand Transformers Francois Charton |
|
|
Poster
|
Wed 9:00 |
HyperTree Proof Search for Neural Theorem Proving Guillaume Lample · Timothee Lacroix · Marie-Anne Lachaux · Aurelien Rodriguez · Amaury Hayat · Thibaut Lavril · Gabriel Ebner · Xavier Martinet |
|
|
Poster
|
Tue 14:00 |
Solving Quantitative Reasoning Problems with Language Models Aitor Lewkowycz · Anders Andreassen · David Dohan · Ethan Dyer · Henryk Michalewski · Vinay Ramasesh · Ambrose Slone · Cem Anil · Imanol Schlag · Theo Gutman-Solo · Yuhuai Wu · Behnam Neyshabur · Guy Gur-Ari · Vedant Misra |