影响力指数

7.3/100

超过 22.7%

全站排名 #49,771

发表论文3 篇

平均评分5.8

年均产出1.5 篇/年

Jia LI

Researcher@Project Numina·法国·OpenReview

研究方向

Machine learning

LeanGeo: Formalizing Competitional Geometry problems in Lean

ICLR 2026Rejected

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics

ICLR 2026Desk Rejected

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

COLM 2025Poster

合作者 (20)