影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Marco Del Tredici

Machine Learning Scientist@Amazon·德国·OpenReview

研究方向

Question Answering · Social Media

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

ICLR 2026Desk Rejected

合作者 (5)

Javier Aspuru Mijares