Feiyang Wang

~Feiyang_Wang4

1

论文总数

1.0

年均投稿

接收情况0/1

会议分布

ICLR

1

发表论文 (1 篇)

20251 篇

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

ICLR 2025desk_rejected

合作者 (3)

Andrew Liu1 篇

Haoyi Zhang1 篇

Zixuan Wang1 篇