公开(公告)号：CN116306940A

公开(公告)日：2023-06-23

申请号：CN202310122745.4

申请日：2023-02-16

Applicant: 东北大学

Inventor： 张天成 ,  张亦嘉 ,  谢鹏 ,  于明鹤 ,  于戈

IPC: G06N5/04 ,  G06N3/048 ,  G06F40/126

Abstract: 本发明提供一种基于BERT编码的数学应用题求解系统及方法，涉及应用求解技术领域。本系统包括编码模块、解码模块、监督模块以及微调模块。本方法使用MacBERT:作为中文题目的编码器，BERT作为英文题目的编码器；编码过程首先获取文本序列Q，并将文本序列Q映射成逐个字向量所构成的向量表示矩阵，对向量表示矩阵中各个字向量取平均得到文本序列的整体表示向量，使用树形解码器来生成表达式树；利用分类器捕捉导致生成错误表达式的题目表示，如果分类器输出结果为1，表示解码器生成的表达式与题目相对应，如果输出结果为0，则说明编码器生成的题目表示向量导致了错误表达式的生成，需要被进一步优化；对系统进行训练，从而实现数学应用题的求解。

公开(公告)号：CN116187437A

公开(公告)日：2023-05-30

申请号：CN202310122747.3

申请日：2023-02-16

Applicant: 东北大学

Inventor： 张天成 ,  张亦嘉 ,  谢鹏 ,  于明鹤 ,  于戈

IPC: G06N5/01 ,  G06N5/04 ,  G06N3/0455 ,  G06N3/042 ,  G06N3/048 ,  G06N3/0895 ,  G06F18/22 ,  G06F18/2433

Abstract: 本发明提供一种基于对比学习的数学应用题求解系统及方法，涉及应用求解技术领域。本发明系统包括：编码模块、解码模块、监督模块以及对比学习模块；通过使用使用编码器MacBert对中文应用题进行编码，使用编码器Bert对英文应用题进行编码；使用树形解码器SAU来生成表达式树，即生成每道题目所对应的数学表达式；利用分类器捕捉导致生成错误表达式的题目表示，如果分类器输出结果为1，表示解码器生成的表达式与题目相对应，如果输出结果为0，则说明编码器生成的题目表示向量导致了错误表达式的生成，需要被进一步优化；然后对系统进行训练，最终实现数学应用题的求解。