14、解决LaTeX方程错误与CPS建模语言转换的技术探讨

解决LaTeX方程错误与CPS建模语言转换的技术探讨

一、EqFix解决LaTeX方程错误情况

EqFix是用于修复LaTeX方程编译和排版错误的系统。在C4条件下对测试用例进行测试时，EqFix在17个测试用例上失败。经手动检查，失败原因可分为以下三类：
| 失败类别 | 数量 | 原因说明 |
| ---- | ---- | ---- |
| 不一致的示例 | 7例 | 提供的示例相互不一致，合成器无法给出一致的规则 |
| 错误消息不足 | 6例 | 提供的错误消息不充分，EqFix无法生成有用的方程模式 |
| DSL表达能力受限 | 4例 | 测试用例与同一组的训练示例偏差较大，由于DSL表达能力受限，学习到的规则无法推广到该测试用例 |

此外，还在相同数据集上对EqFix进行了另一次评估，模拟通过尝试规则库中保存的初始规则来解决方程修复问题的更现实场景。通过在训练模式下从整个训练集示例（C4）中学习获得初始规则库，然后在应用模式下测试了所有89个测试用例。与之前结果相比，又解决了一个测试用例（#71），由示例组#69合成的排名最高的规则解决。

二、相关工作

1. 程序修复
   • 基于启发式的修复工具 ：如GenProg采用扩展形式的遗传编程和启发式方法，但这些技术产生的补丁可能会过拟合测试套件。为此研究了排名技术，如ACS通过改进的排名技术进行条件合成以产生精确补丁，PAR从历史中挖掘错误修复模式并优先处理频繁出现的修复，Prophet通过学习概率模型对候选补丁进行排名，表现优于之前的工