Zixuan Wang

~Zixuan_Wang17

1

论文总数

1.0

年均投稿

接收情况0/1

会议分布

ICLR

1

年度发表趋势

共 1 年 · 1 篇

作者排名

Top 15%#10,994 / 73,537

Top 100%Top 50%Top 1%

发表论文 (1 篇)

20251 篇

Collaborative Theorem Proving with Large Language Models: Enhancing Formal Proofs with ProofRefiner

ICLR 2025desk_rejected

合作者 (3)

Andrew Liu1 篇

Feiyang Wang1 篇

Haoyi Zhang1 篇

Zixuan Wang | PaperHub