EGG repository 本次发布的数据集 Math Suite, 该数据集采用数学套件实现了一个重写系统,旨在简化数学表达式。该套件包含了重写规则集合以及通过表达式树的深度优先搜索生成的各种表达式。该数据集已经对多个初始表达式进行了评估,其任务是使用重写规则进行表达式简化。
README 内容:
关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库,涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。





_1769672084863.jpg)