4 papers
MerLean: An Agentic Framework for Autoformalization in Quantum Computation
Yuanjie Ren, Jinzheng Li, Yidi Qi
We introduce MerLean, a fully automated agentic framework for autoformalization in quantum computation. MerLean extracts mathematical statements from \LaTeX{} source files, formali…
Graphical Calculus for Fermionic Tensors
Yuanjie Ren, Kaifeng Bu, Andreas Bauer
We introduce a graphical calculus, consisting of a set of fermionic tensors with tensor-network equations, which can be used to perform various computations in fermionic many-body…
A Universal Circuit Set Using the Quantum Double
Liyuan Chen, Yuanjie Ren, Ruihua Fan +1
One potential route toward fault-tolerant universal quantum computation is to use non-Abelian topological codes. In this work, we investigate how to achieve this goal with the quan…
Efficient Preparation of Solvable Anyons with Adaptive Quantum Circuits
Yuanjie Ren, Nathanan Tantivasadakarn, Dominic J. Williamson
The classification of topological phases of matter is a fundamental challenge in quantum many-body physics, with applications to quantum technology. Recently, this classification h…