MATHEMATICAL REASONING

逐步
表达链

面向数学应用问题的逐步表达链生成求解,研究不同数学求解逻辑的实现与验证。

REASONINGMODEL TRAININGLLM
01 → 02 → 03 → ANSWER

把数学求解过程,
变成可学习的表达链。

参与模型开发流程,重点负责求解逻辑实现与实验验证。

LOGIC

求解逻辑实现

实现不同数学问题的求解逻辑。

EXPERIMENT

训练与测试

参与模型训练,并完成数据集精度测试。

IDEA

LLM 增强

提出结合 GPT 等大语言模型提升准确率的方法。

THESIS

毕业论文

以 91/100 获评浙江大学优秀毕业论文。

RESULT

相关论文于 2024 年 6 月发表于 IEEE/ACM TASLP。