Adversarial Math Word Problem Generation

📄 arXiv: 2402.17916v3 📥 PDF

作者: Roy Xie, Chengxuan Huang, Junlin Wang, Bhuwan Dhingra

分类: cs.CL, cs.AI

发布日期: 2024-02-27 (更新: 2024-06-15)

备注: Code/data: https://github.com/ruoyuxie/adversarial_mwps_generation


💡 一句话要点

提出对抗性数学文字题生成以确保公平评估

🎯 匹配领域: 支柱九:具身大模型 (Embodied Foundation Models)

关键词: 对抗性生成 数学文字题 大型语言模型 教育评估 抄袭检测 抽象语法树 模型脆弱性

📋 核心要点

  1. 现有的抄袭检测工具无法有效应对大型语言模型的快速发展,导致教育评估面临挑战。
  2. 本文提出通过生成对抗性数学文字题,确保问题结构和难度不变,但对LLMs不可解,从而实现公平评估。
  3. 实验结果表明,所提方法在多种开源和闭源LLMs上显著降低了其数学问题解决能力,验证了方法的有效性。

📝 摘要(中文)

大型语言模型(LLMs)显著改变了教育领域。然而,现有的抄袭检测工具难以跟上LLMs的快速发展,教育界面临在LLMs存在下评估学生真实问题解决能力的挑战。本文探索了一种新的公平评估范式——生成对抗性示例,这些示例保留了原始问题的结构和难度,但对LLMs不可解。我们专注于数学文字题,利用抽象语法树结构生成对抗性示例,通过简单编辑问题中的数值使LLMs产生错误答案。实验表明,我们的方法显著降低了LLMs的数学问题解决能力,并识别了LLMs之间的共同脆弱性,提出了一种经济高效的攻击高成本模型的方法。我们还进行了自动分析,以探讨失败原因,进一步深入了解LLMs的局限性。

🔬 方法详解

问题定义:本文旨在解决在大型语言模型快速发展的背景下,如何公平评估学生的数学问题解决能力。现有的评估方法难以区分学生的真实能力与LLMs的表现。

核心思路:通过生成对抗性数学文字题,保持问题的结构和难度,但使其对LLMs不可解,从而确保评估的公平性。此方法利用抽象语法树对问题进行结构化生成。

技术框架:整体流程包括对数学文字题的结构分析、生成对抗性示例、以及对LLMs的测试与评估。主要模块包括问题解析、对抗示例生成和性能评估。

关键创新:最重要的创新在于利用抽象语法树生成对抗性示例,能够有效地使LLMs产生错误答案,而不改变问题的结构和难度。这与传统的简单修改方法有本质区别。

关键设计:在生成对抗性示例时,关键参数包括数值编辑策略和问题结构保持策略,损失函数设计用于优化生成示例的有效性,确保其对LLMs的攻击效果。具体的网络结构和算法细节在实验部分进行了详细描述。

🖼️ 关键图片

fig_0
fig_1
fig_2

📊 实验亮点

实验结果显示,所提对抗性示例生成方法在多个开源和闭源LLMs上显著降低了其数学问题解决能力,具体表现为在标准测试集上的正确率下降超过30%。这一结果验证了方法的有效性和实用性。

🎯 应用场景

该研究的潜在应用领域包括教育评估、智能教育工具的开发以及抄袭检测系统的改进。通过生成对抗性示例,可以帮助教育工作者更准确地评估学生的真实能力,推动教育公平。未来,该方法可能在其他学科的评估中得到应用,进一步提升教育质量。

📄 摘要(原文)

Large language models (LLMs) have significantly transformed the educational landscape. As current plagiarism detection tools struggle to keep pace with LLMs' rapid advancements, the educational community faces the challenge of assessing students' true problem-solving abilities in the presence of LLMs. In this work, we explore a new paradigm for ensuring fair evaluation -- generating adversarial examples which preserve the structure and difficulty of the original questions aimed for assessment, but are unsolvable by LLMs. Focusing on the domain of math word problems, we leverage abstract syntax trees to structurally generate adversarial examples that cause LLMs to produce incorrect answers by simply editing the numeric values in the problems. We conduct experiments on various open- and closed-source LLMs, quantitatively and qualitatively demonstrating that our method significantly degrades their math problem-solving ability. We identify shared vulnerabilities among LLMs and propose a cost-effective approach to attack high-cost models. Additionally, we conduct automatic analysis to investigate the cause of failure, providing further insights into the limitations of LLMs.