firstbacksecondback
3 Results
|
Poster
|
The Surprising Computational Power of Nondeterministic Stack RNNs Brian DuSell · David Chiang |
||
|
Poster
|
Mon 7:30 |
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought Abulhair Saparov · He He |
|
|
Poster
|
Formal Mathematics Statement Curriculum Learning Stanislas Polu · Jesse Han · Kunhao Zheng · Mantas Baksys · Igor Babuschkin · Ilya Sutskever |