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
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
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
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up