正在加载...
系统目前无法执行此操作,请稍后再试。
每年引用数
重复的引用
下面的文章将在学术搜索中合并。它们的
合并引用
次数只会计入第一篇文章。
合并的引用
此“引用引文的出版物数量”计数包含了对学术搜索中以下文章的引用次数。带有
*
标记的引文可能与个人学术档案中的文章有所区别。
添加合著者
合著作者
关注
此作者发表了新文章
有对此作者文章的新引用
有与此作者的研究工作相关的新文章
用于接收动态的电子邮件地址
完成
我的个人学术档案
我的图书馆
统计指标
快讯
设置
登录
登录
创建我的个人资料
引用次数
总计
2019 年至今
引用
79
79
h 指数
1
1
i10 指数
1
1
0
46
23
2023
2024
31
46
合著作者
Kaiyu Yang
California Institute of Technology
在 caltech.edu 的电子邮件经过验证
Anima Anandkumar
California Institute of Technology and NVIDIA
在 caltech.edu 的电子邮件经过验证
Rahul Chalamala
California Institute of Technology
在 caltech.edu 的电子邮件经过验证
Aidan M. Swope
Deep learning researcher, NVIDIA
在 nvidia.com 的电子邮件经过验证
Alex Gu
MIT
在 mit.edu 的电子邮件经过验证
Shixing Yu
Cornell University
在 cornell.edu 的电子邮件经过验证
Saad Godil
Chief Technology Officer, Hippocratic AI
在 nvidia.com 的电子邮件经过验证
Timothy Sherwood
Professor of Computer Science, UC Santa Barbara
在 cs.ucsb.edu 的电子邮件经过验证
Advait Madhavan
Assistant Research Scientist, University of Maryland, National Institute of Standards and Technology
在 nist.gov 的电子邮件经过验证
Jeremy Lau
UC Santa Barbara
在 ucsb.edu 的电子邮件经过验证
关注
Peiyang Song
University of California, Santa Barbara
在 ucsb.edu 的电子邮件经过验证 -
首页
Machine Learning
Natural Language Processing
Automated Reasoning
Neuro-symbolic AI
文章
引用次数
合著作者
标题
排序
按引用次数排序
按年份排序
按标题排序
引用次数
引用次数
年份
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
77
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
1
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
系统目前无法执行此操作,请稍后再试。
文章 1–3
展开
隐私权
条款
帮助
关于学术搜索
Google 搜索帮助