Skip to content

Author

D. Englund

We have 2 of 14 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Open access Feb 2026

Agentic AI for Scalable and Robust Optical Systems Control

The results demonstrate that AgentOptics provides a scalable and robust interface for natural-language-driven control and orchestration of heterogeneous optical devices and systems.

Ze-Hao Wang, Ming-Lun Han, Wei Cheng et al. · 4 citations
#artificial intelligence Preprint Sep 2026

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

This work releases AxQM, 1,019 kernel-checkable proof-synthesis tasks over 479 items drawn from the textbook Quantum Computation and Quantum Information by Nielsen and Chuang, which is the largest proof-synthesis benchmark in physics by a factor of four.

W. Yin, Jacob M. Taylor, D. Englund et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.