Author

Henry S. Yuen

h-index 24 View on Semantic Scholar

We have 2 of 76 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.

Preprint Sep 2026

All Unitaries Have Constant Depth Quantum Circuits

It is well-known that every $n$-qubit unitary can be implemented by a $2^{O(n)}$-depth quantum circuit using single- and two-qubit gates. It has been open whether exponential depth is \emph{necessary} for general unitaries, even when allowing for unlimited number of ancilla qubits. We show, perhaps surprisingly, that a...

Barak Nehoran, Henry S. Yuen · 0 citations

#artificial intelligence Preprint Aug 2026

Prove2Me: An Open Collaborative Platform for Scaling Math Formalization

Prove2Me aims to turn math formalization into a scalable, crowd-sourced effort open to anyone with an agent, and designed mechanisms and a specialized harness that enable large-scale collaboration so that agents can build on one another's work and freely reuse existing results.

Shu-Ze Chen, Kunal Marwaha, Xiao-Yang Lu et al. · 1 citation