Paper
Hub
搜索
Toggle language
Jeremy Avigad
~Jeremy_Avigad1
1
论文总数
1.0
年均投稿
6.8
平均评分
接收情况
1
/
1
会议分布
ICLR
1
发表论文 (1 篇)
2025
1 篇
6.8
4
ImProver: Agent-Based Automated Proof Optimization
ICLR 2025
Poster
合作者 (3)
PT
Prasad Tetali
1 篇
RA
Riyaz Ahuja
1 篇
SW
Sean Welleck
1 篇