Frank Koppens

Full Professor, ICFO-Institut de Ciencies Fotoniques

Joined

September 2025

Names

Frank Koppens (Preferred)

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Full Professor

ICFO-Institut de Ciencies Fotoniques (icfo.eu)

2010 – 2026

Advisors, Relations & Conflicts

No relations added

Expertise

photonics

2005 – 2026

Publications

Ax-Prover: Agentic LEAN Proving with LLMs and MCP-based Verifiers
Marco Del Tredici, Jacob McCarran, Benjamin Breen, Javier Aspuru Mijares, Dirk Englund, Frank Koppens
- ICLR 2026 Conference Desk Rejected Submission
- Readers: Everyone
ModelBench: A Benchmark for Extracting Executable, Physics-Based Models from Scientific Literature
Pim Schoolkate, Patrick Huembeli, Frank Schäfer, Krystian Nowakowski, Carlos Arribalzaga Jové, Frank Koppens, Dirk Englund, Jacob M. Taylor
- Submitted to ICLR 2026
- Readers: Everyone

Co-Authors