关注
Peiyang Song
标题
引用次数
引用次数
年份
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
772024
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
12024
Towards Large Language Models as Copilots for Theorem Proving in Lean
P Song, K Yang, A Anandkumar
arXiv preprint arXiv:2404.12534, 2024
12024
系统目前无法执行此操作,请稍后再试。
文章 1–3