CN119398056A 用于自动求解数学题目的相关方法和装置 （上海处理器技术创新中心）

本披露公开了一种用于自动求解数学题目数学题目的自然语言分为两部分以先后用不同的形式化语言进而由本披露的一些实施例通过2获得对随机选取的数学题目的自然语言进行人使用所述预处理部件对所述自然语言进行预处理以获得使用所述深度学习部件将所述预处理后的自然语言转换为使用所述结合部件结合第一部分形式化语言和第二部分形式化语言以形成转换的形响应于判定为存在转换差异而优化所述深度学习部件并触发上述所有步骤的重复执化语言，并将所述独立表达式和不影响所述自然语言逻辑性的措辞从所述自然语言中删其中，使用所述结合部件结合第一部分形式化语言和第二部分化语言，并将所述独立表达式和不影响所述自然语言逻辑性的措辞从所述自然语言中删4.如权利要求2_3中任一项所述的方法，其中，所述依赖表达式和所述独立表达式是利用根据权利要求1_6中任一项所述的方法训练好的转换模型将所述数学题目的自然9.如权利要求7_8中任一项所述的方法，所述通用人工智能大模型一种基于深度学习10.一种用于训练转换模型的装置，所述转换模型用于将数学题目的自然语言转换为34方法的研究也只是停留在如何应用深度学习去实现对数学单词问题MWP(MathWord以先后用不同方式将其转换为形式化语言(formallanguage)，使得为数学题目构建易于5[0012]根据本披露的第二方面，上述目的通过一种用于自动求解数学题目的方法来实所述处理器执行时使得所述装置执行根据所述第一[0015]根据本披露的第五方面，上述目的通过一种用于自动求解数学题目的装置来实露的一些实施例通过将数学题目的自然语言分为两部分以先后用不同方式将其转换为形6学题目的自然语言进行人为标注的形式化语言的步骤101；使用预处理部件对所述自然语言进行预处理以获得第一部分形式化语言的步骤102；使用深度学习部件将所述预处理后的自然语言转换为第二部分形式化语言的步骤103；使用结合部件结合第一部分形式化语言和第二部分形式化语言以形成转换的形式化语言的104；判定所述转换的形式化语言相对所述人为标注的形式化语言是否存在转换差异的步骤105；以及响应于判定为存在转换7差异而优化所述深度学习部件并触发上述所有步骤的重部件202和结合部件203，其中预处理部件201对输入转换模型200的数学题目的自然语言204进行预处理以获得第一部分形式化语言205，然后预处理部件201将所述预处理后的自然语言206输入深度学习部件202以便由其转换为第二部分形式化语言207，最后结合部件203结合第一部分形式化语言205和第二部分形式化语言207以形成转换的形式化语言的将所述独立表达式和不影响所述自然语言逻辑性的措辞从所述自然语言中删除，并且其8可采用的形式化语言可以是适合于通用人工智能大模型进行理解和推理的任何形式化语F2”这些特殊符号可以由使用本披露方案的技术人员自定义，只要与所述依赖表达式的形式化语言建立好对应关系即可。将依赖表达式替换为特殊符号的目的在于方便后续处理。在该替换之后，该示例中的自然语言变成“已知双曲线 A|＝2 在该示例中是以下断言逻辑表达式：“Abs(LineSegmentOf([[3]],[[5]]))＝2*Abs(LineSegmentOf([[4]],[[5]]))Cos(AngleOf([[5]],[[本领域技术人员可以容易发现数学题目的自然语言中哪些措[0039]预处理部件201将所述预处理后的自然语言206输入深度学习部件202以便由其转PointOnCurve([[5]],[[1]])；Abs(LineSegmentOf([[3]],[[5]]))＝2*Abs9[0041]由于第一部分和第二部分形式化语言中还带有特殊符号，因此结合部件203还会数学题目(尤其是学校试卷中的数学题目)实通过算子连接个体。AF2F1”[0048]按照上述方法100训练好的转换模型可按照上述转换步骤102_104将所述数学题利用根据方法100的任一实施例所训练好的转换模型将所述数学题目的自然语言转换为形式化语言的步骤401；以及利用通用人工智能大模型来分析所述转换的形式化语言以求出[0051]在一个实施例中，所述通用人工智能大模型是一种基于深度学习和Transformer的大模型进行LoRA和8_bit量化参数微调，对7B到13B之间规模的大模型进行零样本CoT提框的组合可以通过计算机程序指令来实现。这些计算机程序指令可以被提供给通用计算述其它可编程的数据处理设备的处理器而被执行的所述指令创建用于实现框图和/或流程[0054]还应理解，流程图的框中所示的功能/动作可能并不以图示中所示顺序的顺序来[0056]因此，本披露还提供了如图5所示的包括处理器501和存储器502的训练转换模型的装置500，其中所述转换模型用于将数学题目的自然语言转换为形式化语言并且包括预理器501执行时使得装置500执行结合上述实施例描述的用于训练分类模[0058]本披露还提供