Publications

[CAIS’26] Vista: Verifier-in-the-Loop Agentic Reinforcement Learning for Quantum Program Synthesis

Cong Yu, Tuo Shi, Valter Uotila, Shilong Deng, Lei You, Bo Zhao

Published in In the Proc. of the ACM Conference on AI and Agentic Systems (CAIS) | Download here

ZX-DB: A Graph Database for Quantum Circuit Simplification and Rewriting via the ZX-Calculus

Valter Uotila, Cong Yu, Bo Zhao

Published in arXiv preprint | Download here

QUASAR: Quantum Assembly Code Generation Using Tool-Augmented LLMs via Agentic RL

Cong Yu, Valter Uotila, Shilong Deng, Qingyuan Wu, Tuo Shi, Songlin Jiang, Lei You, Bo Zhao

Published in arXiv preprint | Download here

[VLDB’26] SHARP: Shared State Reduction for Efficient Matching of Sequential Patterns

Cong Yu*, Tuo Shi*, Matthias Weidlich, Bo Zhao

Published in In the Proc. of International Conference on Very Large Data Bases (VLDB) | Download here

[QCE’25] Agent-Q: Fine-Tuning Large Language Models for Quantum Circuit Generation and Optimization

Linus Jern, Valter Uotila, Cong Yu, Bo Zhao

Published in IEEE International Conference on Quantum Computing and Engineering (QCE) | Download here

[J. Appl. Phys. (2018)] Engineering of the resistive switching properties in V2O5 thin film by atomic structural transition: Experiment and theory

Zhenni Wan, Hashem Mohammad, Yunqi Zhao, Cong Yu, Robert B. Darling, M. P. Anantram

Published in Journal of Applied Physics | Download here