Paper
Hub
学术助手
数据洞察
排行榜
获奖论文
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
-
/100
发表论文
1
篇
平均评分
3.6
年均产出
1.0
篇/年
Long Doan
PhD student
@
George Mason University
·
美国
·
OpenReview
研究方向
Automated Theorem Proving · Large Language Model · Machine Translation
发表论文
1
合作网络
学术分析
2026
1 篇
评分
3.6
6
A Formal Combinatorial Benchmark Emphasizing Structures for Automated Theorem Proving
ICLR 2026
Withdrawn
一作
合作者 (1)
TN
ThanhVu Nguyen
博士导师
1 篇