影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Charles Vial

Full Professor@Universität Bielefeld·德国·OpenReview

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

ICLR 2026Rejected

合作者 (20)

Dylan Possamaï

Gabriel Ribeiro