Dirk Englund

Full Professor, EECS, Massachusetts Institute of Technology

Joined

July 2019

Names

Dirk Englund (Preferred)

Emails

****@mit.edu (Confirmed)

,

****@gmail.com

Personal Links

Career & Education History

Full Professor

EECS, Massachusetts Institute of Technology (mit.edu)

2024 – Present

Associate Professor

EECS, Massachusetts Institute of Technology (mit.edu)

2018 – 2024

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

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
WISE: Wireless Analog Computing at Radio Frequency for Disaggregated Deep Learning Inference
Zhihui Gao, Sri Krishna Vadlaman, Kfir Sulimany, Dirk Englund, Tingjun Chen
- AI4NextG @ NeurIPS 25 Poster
- Readers: Everyone
Dynamic Inhomogeneous Quantum Resource Scheduling with Reinforcement Learning
Linsen Li, Pratyush Anand, Kaiming He, Dirk Englund
- Submitted to ICLR 2025
- Readers: Everyone

Co-Authors