CP-Bench

CP-Bench: A dataset for evaluating LLM-driven constraint modelling The dataset contains problems from the following sources: Problems from the APLAI course of KU Leuven, 2023-2024. As modelled here: https://github.com/kostis-init/LLM-CP-Modeling/tree/main/data/APLAI_course Problems from the cpmpy examples folder, https://github.com/CPMpy/cpmpy/tree/master/examples Problems from the csplib, https://www.csplib.org/Problems/ Models created by Hakan Kjellerstrand, http://www.hakank.org/cpmpy//The dataset can be found here: https://huggingface.co/datasets/kostis-init/CP-BenchCP-Bench：一款用于评估大语言模型（Large Language Model，LLM）驱动的约束建模的数据集 本数据集收录的习题来源于以下渠道： 1. 鲁汶大学（KU Leuven）2023-2024学年APLAI课程配套习题，对应建模版本可参见：https://github.com/kostis-init/LLM-CP-Modeling/tree/main/data/APLAI_course 2. CPMpy示例库中的习题，相关资源可通过以下链接获取：https://github.com/CPMpy/cpmpy/tree/master/examples 3. CSPLib平台的习题，相关资源可访问：https://www.csplib.org/Problems/ 4. 哈坎·舍勒斯特兰德（Hakan Kjellerstrand）构建的约束模型，相关资源可访问：http://www.hakank.org/cpmpy// 本数据集的完整资源可通过以下链接获取：https://huggingface.co/datasets/kostis-init/CP-Bench