TY  - RPRT
TI  - MerLean: An Agentic Framework for Autoformalization in Quantum Computation
AU  - Yuanjie Ren
AU  - Jinzheng Li
AU  - Yidi Qi
PY  - 2026
UR  - https://arxiv.org/abs/2602.16554
ID  - 2602.16554
ER  -