影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Javier Aspuru Mijares

Researcher@Axiomatic AI·美国·OpenReview

Ax-Prover: Agentic LEAN Proving with LLMs and MCP-based Verifiers

ICLR 2026Desk Rejected

合作者 (5)

Marco Del Tredici