影响力指数

31.92/100

前 22.3%

全站排名 #14,360

发表论文2 篇

平均评分6.8

年均产出1.0 篇/年

Jiedong Jiang

Postdoc@Westlake University·中国·OpenReview

研究方向

Formalization of Mathematics · Algebraic Number Theory

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels

ICLR 2026Poster

Herald: A Natural Language Annotated Lean 4 Dataset

ICLR 2025Poster

合作者 (14)