# 平输出发掘

微分平坦系统的规划与控制依赖一个平坦输出，但一般非线性系统没有通用办法把它写出来。FlatSeek把平坦性定义中的重构关系反过来用：先给定输出与重构映射，再微分闭合出相容动力学，从而批量得到带证书的系统—输出配对，并用LoRA微调Qwen3.5-2B提出候选，由符号验证器判定。在文献与合成基准上，FlatSeek分别命中74个和171个系统，最强传统符号方法为58个和127个。

微分平坦系统的规划与控制依赖一个平坦输出，但一般非线性系统没有通用办法把它写出来。FlatSeek把平坦性定义中的重构关系反过来用：先给定输出与重构映射，再微分闭合出相容动力学，从而批量得到带证书的系统—输出配对，并用LoRA微调Qwen3.5-2B提出候选，由符号验证器判定。在文献与合成基准上，FlatSeek分别命中74个和171个系统，最强传统符号方法为58个和127个。