Math Suite
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/egraphs-good/egg
下载链接
链接失效反馈官方服务：
资源简介：
该数据集采用数学套件实现了一个重写系统，旨在简化数学表达式。该套件包含了重写规则集合以及通过表达式树的深度优先搜索生成的各种表达式。该数据集已经对多个初始表达式进行了评估，其任务是使用重写规则进行表达式简化。
This dataset implements a rewrite system using a mathematical toolkit, designed to simplify mathematical expressions. The toolkit contains a set of rewrite rules and a variety of expressions generated through depth-first traversal of expression trees. The dataset has been evaluated against multiple initial expressions, with the core task being to simplify expressions using the included rewrite rules.
提供机构：
EGG repository
