影响力指数

42.07/100

前 13%

全站排名 #8,367

发表论文6 篇

平均评分6.4

年均产出2.0 篇/年

Huajian Xin

PhD student@University of Edinburgh, University of Edinburgh·英国·OpenReview

研究方向

large language model

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

ICLR 2026Desk Rejected

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

ICLR 2025Poster

合作者 (20)

Chuanyang Zheng