PaperHub
影响力指数
13.21/100
超过 40.6%
全站排名 #38,251
发表论文2 篇
平均评分5.4
年均产出1.0 篇/年
AI 学术分析

Yuntian Liu

Undergrad student@Shanghai Jiaotong University·中国·OpenReview
研究方向

Autoformalization and automatic theorem proving in LEAN with LLM

发表论文（2 篇）

合作者 (11)