California Institute of Technology（加州理工学院）

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths

EnCompass：通过程序执行路径搜索增强智能体编程

Zhening Li, Armando Solar-Lezama, Yisong Yue, Stephan Zheng

机构 * Asari AI ； MIT CSAIL（麻省理工学院计算机科学与人工智能实验室） ； Caltech CMS（加州理工学院 CMS） 纠错

AI总结 EnCompass通过解耦智能体工作流逻辑与推理策略，提供一种基于Python的框架，允许快速提升智能体可靠性并灵活切换推理策略。

Comments 65 pages, 2 figures, published in NeurIPS 2025

KALIKO: Kalman-Implicit Koopman Operator Learning For Prediction of Nonlinear Dynamical Systems

KALIKO：基于卡尔曼隐式Koopman算子的学习用于非线性动力系统预测

Albert H. Li, Ivan Dario Jimenez Rodriguez, Joel W. Burdick, Yisong Yue, Aaron D. Ames

机构 * Caltech（加州理工学院） 纠错

AI总结 KALIKO通过卡尔曼滤波隐式学习高维非线性动态系统，实现高精度预测与稳定控制。

Atomic Diffusion Models for Small Molecule Structure Elucidation from NMR Spectra

原子扩散模型用于从NMR谱解析小分子结构

Ziyu Xiong, Yichi Zhang, Foyez Alauddin, Chu Xin Cheng, Joon Soo An, Mohammad R. Seyedsayamdost, Ellen D. Zhong

机构 * Princeton University（普林斯顿大学） ； California Institute of Technology（加州理工学院） 纠错

AI总结 ChefNMR通过原子扩散模型从NMR光谱直接预测小分子结构，实现高精度自动解析。

Comments NeurIPS 2025