子表达式链生成模型

推理更稳更准

以子表达式为生成单元，并行生成候选节点并按序组合，从而在复杂推理和多样化标注下保持稳定。

Wenqi, Zhang · Shen, Yongliang · Guiyang, Hou · Kuangyi, Wang · 鲁伟明

IEEE/ACM Transactions on Audio Speech and Language Processing 2024

技术优势

稳定面对复杂推理

在子表达式层面进行推理，避免了逐 token 生成在面对复杂推理时的不稳定性。

与 LLM 协同提效

可无缝集成到大语言模型中，以最低成本增强其数学推理能力，并带来性能提升。

应用场景

• 智能数学辅导：提供可解释的推理链，帮助学生理解数学解题步骤。
• 计算器应用：在复杂表达式计算中给出稳定准确的推理结果。
• 教育机器人：为机器人赋予可解释的数学推理能力，辅助教学互动。