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