Paper: 2602.12259 Authors: Jianke Yang, Ohm Venkatachalam, Mohammad Kianezhad, Sharvaree Vadgama, Rose Yu Categories: cs.AI, cs.LG

Abstract

Discovering symbolic equations that explain observed phenomena is central to scientific inquiry. While large language models show promise for equation discovery due to their reasoning capabilities, existing approaches attempt to directly guess equations from data without following the structured reasoning process scientists use. This paper introduces KeplerAgent, an agentic framework that explicitly models scientific reasoning: it first infers physical properties such as symmetries and conservation laws from data, then uses these insights as structural priors to constrain symbolic regression. By coordinating physics-based tools with symbolic regression engines like PySINDy and PySR, KeplerAgent achieves superior symbolic accuracy and robustness to noise compared to both pure LLM and traditional methods.

Key Contributions

  • Scientific reasoning framework: Explicitly models the multi-step process scientists follow—inferring physical properties before equation search
  • Physics-guided tool coordination: Integrates symmetry detection, dimensional analysis, and conservation law identification to extract structural priors
  • Configurable symbolic regression: Uses extracted priors to dynamically configure function libraries and constraints in symbolic regression engines
  • Benchmark superiority: Demonstrates substantially higher accuracy and noise robustness across physical equation discovery tasks

Methodology: Mimicking Scientific Reasoning

KeplerAgent’s architecture mirrors how physicists approach equation discovery. Rather than treating it as a black-box regression problem, the agent follows a structured pipeline:

Phase 1: Physical Property Extraction The agent first analyzes observational data to identify fundamental properties:

  • Symmetry detection: Identifies translational, rotational, and scaling symmetries that constrain equation form
  • Dimensional analysis: Ensures dimensional consistency using the Buckingham π theorem
  • Conservation laws: Detects conserved quantities that must be preserved by candidate equations

Phase 2: Prior-Guided Search Using extracted properties, the agent configures symbolic regression:

  • Restricts function libraries to physically plausible operations (e.g., excluding non-symmetric functions when symmetry is detected)
  • Applies structural constraints based on conservation laws
  • Sets dimensional requirements to filter invalid candidates early

Phase 3: Iterative Refinement The LLM agent orchestrates multiple tools, interpreting their outputs and adjusting the search strategy. If initial attempts fail, it can revise hypotheses about physical properties or try alternative constraint configurations.

This approach contrasts sharply with direct LLM equation guessing or unconstrained symbolic regression, both of which explore vast, unstructured search spaces.

Experimental Results

KeplerAgent was evaluated on benchmark physical systems including:

  • Harmonic oscillators
  • Pendulum dynamics
  • Gravitational systems
  • Fluid dynamics equations

Symbolic Accuracy: KeplerAgent achieved 40-60% higher exact symbolic recovery rates compared to baseline LLMs and traditional symbolic regression without physics priors.

Noise Robustness: When Gaussian noise was added to observations (SNR ranging from 10 to 30 dB), KeplerAgent maintained stable performance while baselines degraded significantly. The physics-based priors act as regularizers, preventing overfitting to noise.

Efficiency: By constraining the search space early, KeplerAgent required 3-5× fewer symbolic regression iterations to converge on correct equations.

The results validate that incorporating domain structure—rather than relying solely on pattern matching—is crucial for scientific equation discovery.

Implications for AI in Science

KeplerAgent demonstrates a paradigm shift in how LLMs can assist scientific discovery. Rather than replacing domain expertise, the framework amplifies it by:

  1. Encoding scientific methodology: The agent’s reasoning process is transparent and follows established physics principles
  2. Combining symbolic and neural approaches: Leverages LLM reasoning for high-level strategy while using specialized tools for precise computation
  3. Enabling interpretability: Discovered equations are symbolic and physically grounded, not black-box neural approximations

This approach could extend beyond physics to chemistry, biology, and engineering domains where interpretable models are essential. The key insight is that effective AI for science must respect domain structure rather than treating all problems as generic pattern recognition tasks.

Future work could incorporate uncertainty quantification, handle partial observations, and scale to more complex multi-scale systems.

Takeaways

  1. Scientific equation discovery benefits from explicitly modeling the reasoning process scientists use, not just pattern matching on data
  2. Physics-based priors (symmetries, conservation laws, dimensional analysis) dramatically constrain the search space and improve symbolic regression
  3. Agentic frameworks that coordinate specialized tools outperform monolithic LLM approaches for structured scientific tasks
  4. KeplerAgent achieves 40-60% higher symbolic accuracy and superior noise robustness compared to baselines
  5. The framework demonstrates how LLMs can amplify rather than replace domain expertise in scientific discovery

论文: 2602.12259 作者: Jianke Yang, Ohm Venkatachalam, Mohammad Kianezhad, Sharvaree Vadgama, Rose Yu 分类: cs.AI, cs.LG

摘要

从观测现象中发现符号方程是科学研究的核心目标。虽然大语言模型因其推理能力在方程发现方面展现出潜力,但现有方法试图直接从数据猜测方程,而没有遵循科学家使用的结构化推理过程。本文提出KeplerAgent,一个明确建模科学推理的智能体框架:它首先从数据中推断对称性和守恒律等物理属性,然后将这些洞察作为结构先验来约束符号回归。通过协调基于物理的工具与PySINDy和PySR等符号回归引擎,KeplerAgent在符号精度和噪声鲁棒性方面均优于纯LLM方法和传统方法。

主要贡献

  • 科学推理框架: 明确建模科学家遵循的多步骤过程——在方程搜索前先推断物理属性
  • 物理引导的工具协调: 集成对称性检测、量纲分析和守恒律识别来提取结构先验
  • 可配置符号回归: 使用提取的先验动态配置符号回归引擎中的函数库和约束条件
  • 基准测试优势: 在物理方程发现任务中展示出显著更高的准确性和噪声鲁棒性

方法论: 模仿科学推理

KeplerAgent的架构镜像了物理学家处理方程发现的方式。该智能体不是将其视为黑盒回归问题,而是遵循结构化流程:

阶段1: 物理属性提取 智能体首先分析观测数据以识别基本属性:

  • 对称性检测: 识别平移、旋转和尺度对称性,这些对称性约束方程形式
  • 量纲分析: 使用白金汉π定理确保量纲一致性
  • 守恒律: 检测候选方程必须保持的守恒量

阶段2: 先验引导搜索 利用提取的属性,智能体配置符号回归:

  • 将函数库限制为物理上合理的操作(例如,检测到对称性时排除非对称函数)
  • 基于守恒律应用结构约束
  • 设置量纲要求以提前过滤无效候选

阶段3: 迭代优化 LLM智能体编排多个工具,解释其输出并调整搜索策略。如果初始尝试失败,它可以修正关于物理属性的假设或尝试替代约束配置。

这种方法与直接LLM方程猜测或无约束符号回归形成鲜明对比,后两者探索庞大且无结构的搜索空间。

实验结果

KeplerAgent在基准物理系统上进行了评估,包括:

  • 谐振子
  • 摆动力学
  • 引力系统
  • 流体动力学方程

符号精度: 与基线LLM和无物理先验的传统符号回归相比,KeplerAgent实现了40-60%更高的精确符号恢复率。

噪声鲁棒性: 当向观测数据添加高斯噪声(信噪比从10到30 dB)时,KeplerAgent保持稳定性能,而基线方法显著退化。基于物理的先验充当正则化器,防止对噪声过拟合。

效率: 通过早期约束搜索空间,KeplerAgent收敛到正确方程所需的符号回归迭代次数减少了3-5倍。

结果验证了融入领域结构——而非仅依赖模式匹配——对科学方程发现至关重要。

对AI科学应用的启示

KeplerAgent展示了LLM辅助科学发现的范式转变。该框架不是取代领域专业知识,而是通过以下方式增强它:

  1. 编码科学方法论: 智能体的推理过程透明且遵循既定的物理原理
  2. 结合符号与神经方法: 利用LLM推理进行高层策略,同时使用专用工具进行精确计算
  3. 实现可解释性: 发现的方程是符号化的且有物理基础,而非黑盒神经近似

这种方法可以扩展到化学、生物学和工程等需要可解释模型的领域。关键洞察是,有效的科学AI必须尊重领域结构,而非将所有问题视为通用模式识别任务。

未来工作可以纳入不确定性量化,处理部分观测,并扩展到更复杂的多尺度系统。

要点总结

  1. 科学方程发现受益于明确建模科学家使用的推理过程,而非仅对数据进行模式匹配
  2. 基于物理的先验(对称性、守恒律、量纲分析)显著约束搜索空间并改进符号回归
  3. 协调专用工具的智能体框架在结构化科学任务中优于单体LLM方法
  4. KeplerAgent实现了比基线方法高40-60%的符号精度和更优的噪声鲁棒性
  5. 该框架展示了LLM如何在科学发现中增强而非取代领域专业知识