SCALAR：神经符号框架如何自动化量子电路分析中的猜想与推理？
本文深度解析了 SCALAR 框架，这是一种结合了符号猜想生成与大语言模型（LLM）推理的神经符号系统，旨在自动化探索量子近似优化算法（QAOA）中图不变性与最优参数之间的非平凡关系。
MaxCut
量子化学与MaxCut的桥梁：Hartree-Fock方法的经典性能保证与量子算法
本论文开创性地将Hartree-Fock自洽场(SCF)问题重新构建为二次无约束自旋/二元优化(QUSO/QUBO)和MaxCut图问题序列，提供了经典性能保证，并为混合量子-经典SCF算法奠定了基础。