Research author

Frank H. L. Koppens

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

Papers by Frank H. L. Koppens

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.

Frank H. L. Koppens — AI Research Papers | One9Founders