Mo Tiwari
Scholar

Mo Tiwari

Google Scholar ID: 5Zw2JPQAAAAJ
PhD Student in Computer Science, Stanford University
machine learningartificial intelligencedeep learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,733
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
LeanAgent: Lifelong Learning for Formal Theorem Proving
arXiv.org · 2024
Cited
3
Resume (English only)
Co-authors
10 total
Chris Piech
Chris Piech
Assistant Professor, Stanford University
Ilan Shomorony
Ilan Shomorony
University of Illinois Urbana-Champaign
Martin Jinye Zhang
Martin Jinye Zhang
Assistant Professor, Computational Biology Department, Carnegie Mellon University
Salem Lahlou
Salem Lahlou
MBZUAI
Yoshua Bengio
Yoshua Bengio
Professor of computer science, University of Montreal, Mila, IVADO, CIFAR
Emmanuel Bengio
Emmanuel Bengio
McGill University; Recursion/Valence Labs
Tristan Deleu
Tristan Deleu
Mila - Universite de Montreal
Edward Hu
Edward Hu
OpenAI