Research author

Weichen Winston Yin

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

Papers by Weichen Winston Yin

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.

Weichen Winston Yin — AI Research Papers | One9Founders