影响力指数

38.98/100

前 15.1%

全站排名 #9,746

发表论文3 篇

平均评分6.3

年均产出1.5 篇/年

Guoxiong Gao

PhD student@Peking University·中国·OpenReview

研究方向

large language models · automated theorem proving · semantic embedding

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

ICLR 2026Poster

Aria: an Agent for Retrieval and Iterative Auto-Formalization via Dependency Graph

ICLR 2026Poster

Herald: A Natural Language Annotated Lean 4 Dataset

ICLR 2025Poster

合作者 (17)

博士导师3 篇