同一个8B模型不再套固定推理模板：AlgoPilot先选范式再写形式化，平均准确率从38.4%升到72.9%
AlgoPilot把语言模型的解题过程拆成三步：先判断该用自然语言推理、代码执行、约束求解、符号规划还是数学优化，再按所选范式生成结构化的问题形式化，最后交给执行模型求解。以Qwen3-8B为执行模型时，同一模型在13个基准、66个领域上的平均准确率从直接提示的38.4%升到72.9%，比表现最好的大模型提示基线GLM-5高11.7个百分点；换用Gemma-4-E4B-it作执行模型时，平均成功率从直接提示的39.0%升到60.5%。