Arvind Mahankali

Identifiers

• name variant Arvind Mahankali 0.60 · backfill

Papers (3)

1. Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically cs.LG · 2024 · author #2
2. One Step of Gradient Descent is Provably the Optimal In-Context Learner with One Layer of Linear Self-Attention cs.LG · 2023 · author #1
3. Beyond NTK with Vanilla Gradient Descent: A Mean-Field Analysis of Neural Networks with Polynomial Width, Samples, and Time cs.LG · 2023 · author #1

Mentions

• 2411.01829 #2 · arxiv_oai · confidence 0.70 Arvind Mahankali
• 2306.16361 #1 · arxiv_oai · confidence 0.70 Arvind Mahankali
• 2307.03576 #1 · arxiv_oai · confidence 0.70 Arvind Mahankali

Frequent Coauthors

• Tengyu Ma 3 shared papers
• Kefan Dong 2 shared papers
• Jeff Z. HaoChen 1 shared papers
• Margalit Glasgow 1 shared papers
• Tatsunori B. Hashimoto 1 shared papers