影响力指数

-/100

发表论文3 篇

平均评分3.9

年均产出3.0 篇/年

Zihan Wang

Undergrad student@Peking University·中国·OpenReview

LeanGeo: Formalizing Competitional Geometry problems in Lean

ICLR 2026Rejected

Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems

ICLR 2026Rejected

MergeMoE: Efficient Compression of MoE Models via Expert Output Merging

ICLR 2026Withdrawn

合作者 (20)