影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Xiaorui Shi

Undergrad student@Northeastern University·中国·OpenReview

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification

ICLR 2026Rejected

合作者 (9)

Tiancheng Zhang