humainlab 发布 EquivaFormulation 数据集, 应用在 数学优化、计算建模 领域

humainlab 本次发布的数据集 EquivaFormulation, 该数据集是首个开源数据集，其中包含了MILP实例的等效公式化表达。这些等效公式是通过将现有公式应用转换而生成的。数据集还包括了用于创建等效公式化表达的转换细节，并捕捉了MILPs中广泛使用的建模技术。该任务的目的是对优化公式进行等效性检查。

查看EquivaFormulation

Dataset card 内容： 

Files and versions 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。