标签：符号求解

通用科学ML

面向偏微分方程符号候选解的带溯源验证基准，含20条记录及生成器输出、验证案例与人类注释，用于评估符号求解器的可靠性。