Arvind V. Mahankali

~Arvind_V._Mahankali1

2

论文总数

1.0

年均投稿

5.8

平均评分

接收情况1/2

会议分布

ICLR

2

发表论文 (2 篇)

20251 篇

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically

ICLR 2025Rejected

20241 篇

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

ICLR 2024Poster

合作者 (3)

Tatsunori Hashimoto1 篇

Kefan Dong1 篇