影响力指数

-/100

发表论文1 篇

平均评分1.0

年均产出1.0 篇/年

William Hart

Postdoc@University of Cambridge·英国·OpenReview

研究方向

Theorem Proving · Computer Algebra · Number Theory

No LLM Solved Yu Tsumura's 554th Problem

ICLR 2026Withdrawn

合作者 (1)