影响力指数
-/100
发表论文1
平均评分4.0
年均产出1.0 篇/年
AI 学术分析

Benjamin Breen

Principal Researcher@Axiomatic AI·美国·OpenReview
研究方向

AI / ML · Math for AI · Agentic LLMs · theorem proving · formal verification · Explicit methods and computational pure mathematics · Number theory · Arithmetic Geometry · Algebraic Geometry

发表论文1