SCALAR：神经符号框架如何自动化量子电路分析中的猜想与推理？
本文深度解析了 SCALAR 框架，这是一种结合了符号猜想生成与大语言模型（LLM）推理的神经符号系统，旨在自动化探索量子近似优化算法（QAOA）中图不变性与最优参数之间的非平凡关系。
自动化科研
锻造科研之锤：El Agente Forjador 如何通过任务驱动的工具生成重塑量子模拟自动化流
本文深度解析了由多伦多大学 Matter Lab 提出的 El Agente Forjador 框架，该系统通过自主“锻造”、验证和复用计算工具，解决了科研 Agent 依赖静态工具集的瓶颈，显著提升了量子模拟任务的精度与效率。