影响力指数

-/100

发表论文1 篇

年均产出1.0 篇/年

Zixuan Wang

MS student@Carnegie Mellon University·美国·OpenReview

研究方向

AR and VR · Computer Vision · Signal Processing

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

ICLR 2025Desk Rejected

合作者 (3)