Paper
Hub
搜索
Toggle language
Adarsh Kumarappan
~Adarsh_Kumarappan2
1
论文总数
1.0
年均投稿
5.8
平均评分
接收情况
1
/
1
会议分布
ICLR
1
发表论文 (1 篇)
2025
1 篇
5.8
4
LeanAgent: Lifelong Learning for Formal Theorem Proving
ICLR 2025
Poster
合作者 (5)
AA
Anima Anandkumar
1 篇
CX
Chaowei Xiao
1 篇
MT
Mo Tiwari
1 篇
PS
Peiyang Song
1 篇
RG
Robert Joseph George
1 篇