影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
26.47/100
前 28.9%
全站排名 #18,635
发表论文3 篇
平均评分
年均产出3.0 篇/年
SHEN XIN
12
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
ICLR 2026Poster
通讯30
Mathesis: Towards Formal Theorem Proving from Natural Languages
ICLR 2026Poster
9
From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning
ICLR 2026Withdrawn