Research author

Dirk R. Englund

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Dirk R. Englund

Sep 4, 2026
quant-ph

AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics

Weichen Winston Yin, Jacob M. Taylor, Dirk R. Englund, et al.

Dirk R. Englund — AI Research Papers | One9Founders