Paper
Hub
搜索
Toggle language
Wen-Da Wei
~Wen-Da_Wei1
1
论文总数
1.0
年均投稿
7.0
平均评分
接收情况
1
/
1
会议分布
ICLR
1
发表论文 (1 篇)
2025
1 篇
7.0
4
CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search
ICLR 2025
Poster
合作者 (7)
AL
Aoxue Li
1 篇
HW
Haiming Wang
1 篇
HJ
Hui Jin
1 篇
XY
Xiao-Wen Yang
1 篇
YL
Yu-Feng Li
1 篇
ZL
Zhenguo Li
1 篇
ZZ
Zhi Zhou
1 篇