← Leaderboards
Tengyu Ma
Stanford University
$950,000
Attributed
$1,700,000
Total exposure
3
Grants
2
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $1M · FY2022–25$1M$750K$500K$250K$0
'22
'23
'24
'25
Funding mix
By agency
NSF$1,700,000 · 3
By mechanism
—$1,700,000 · 3
Top collaborators
- Azalia Mirhoseini1 shared
- Ciprian Manolescu1 shared
- Lexing Ying1 shared
Grant awards (3)
AIMing: AI Theorem Proving Beyond Limited Data: Efficient Learning of Mathematicians' Ecosystem$1,000,000
· FY2025 · MPS
Collaborative Research: RI:Medium:MoDL:Mathematical and Conceptual Understanding of Large Language Models$400,000
· FY2022 · CSE · contact PI
Collaborative Research: CIF: Medium: MoDL:Toward a Mathematical Foundation of Deep Reinforcement Learning$300,000
· FY2022 · CSE · contact PI