Follow
Peiyang Song
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
732024
Towards Large Language Models as Copilots for Theorem Proving in Lean
P Song, K Yang, A Anandkumar
arXiv preprint arXiv:2404.12534, 2024
12024
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