activity
20192026
most citedOne Step of Gradient Descent is Provably the Optimal In-Context Learner with One Layer of Linear Self-Attention

2 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LG2024★ 1 cited

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically

Kefan Dong, Arvind Mahankali, Tengyu Ma

Mathematical theorem proving is an important testbed for large language models' deep and abstract reasoning capability. This paper focuses on improving LLMs' ability to write proof…