Loading...
The system can't perform the operation now. Try again later.
Citations per year
Duplicate citations
The following articles are merged in Scholar. Their
combined citations
are counted only for the first article.
Merged citations
This "Cited by" count includes citations to the following articles in Scholar. The ones marked
*
may be different from the article in the profile.
Add co-authors
Co-authors
Follow
New articles by this author
New citations to this author
New articles related to this author's research
Email address for updates
Done
My profile
My library
Metrics
Alerts
Settings
Sign in
Sign in
Get my own profile
Cited by
All
Since 2019
Citations
74
74
h-index
1
1
i10-index
1
1
0
42
21
2023
2024
31
41
Co-authors
Kaiyu Yang
California Institute of Technology
Verified email at caltech.edu
Anima Anandkumar
California Institute of Technology and NVIDIA
Verified email at caltech.edu
Rahul Chalamala
California Institute of Technology
Verified email at caltech.edu
Aidan M. Swope
Deep learning researcher, NVIDIA
Verified email at nvidia.com
Alex Gu
MIT
Verified email at mit.edu
Shixing Yu
Cornell University
Verified email at cornell.edu
Saad Godil
Chief Technology Officer, Hippocratic AI
Verified email at nvidia.com
Timothy Sherwood
Professor of Computer Science, UC Santa Barbara
Verified email at cs.ucsb.edu
Advait Madhavan
Assistant Research Scientist, University of Maryland, National Institute of Standards and Technology
Verified email at nist.gov
Follow
Peiyang Song
University of California, Santa Barbara
Verified email at ucsb.edu -
Homepage
Machine Learning
Natural Language Processing
Automated Reasoning
Neuro-symbolic AI
Articles
Cited by
Co-authors
Title
Sort
Sort by citations
Sort by year
Sort by title
Cited by
Cited by
Year
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
K Yang, AM Swope, A Gu, R Chalamala, P Song, S Yu, S Godil, ...
Advances in Neural Information Processing Systems (NeurIPS) 36
, 2024
73
2024
Towards Large Language Models as Copilots for Theorem Proving in Lean
P Song, K Yang, A Anandkumar
arXiv preprint arXiv:2404.12534
, 2024
1
2024
Energy Efficient Convolutions with Temporal Arithmetic
R Gretsch, P Song, A Madhavan, J Lau, T Sherwood
Proceedings of the 29th ACM International Conference on Architectural …
, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3
Show more
Privacy
Terms
Help
About Scholar
Search help