AI4S-SDS：一种基于稀疏 MCTS 与可微物理对齐的神经符号溶剂设计系统

针对化学配方自动化设计中高维组合空间导航难题，本文提出 AI4S-SDS，一个闭环神经符号框架。该系统整合多智能体协作与定制蒙特卡洛树搜索（MCTS）引擎，通过稀疏状态存储与动态路径重构机制解耦推理历史，实现固定令牌预算下的深度探索。此外，采用全局 - 局部搜索策略及可微物理引擎，有效桥接符号推理与物理可行性，显著提升了探索多样性并在光刻实验中发现了新型配方。