遇见数据集

Supplementary material for CP-Agent: Agentic Constraint Programming

收藏
Zenodo2026-07-14 更新2026-08-02 收录
官方服务:

资源简介:

Experimental data, including problem specifications, ground truth models, generated solutions, and execution logs, for the paper CP-Agent: Agentic Constraint Programming by Stefan Szeider, to appear in the proceedings of the Third International Workshop on Large Language Models for Code (LLM4Code) at ICSE 2026. DOI 10.1145/3786181.3788711 Version v2 fixes validation issues found by a systematic mutation-control audit of all ground-truth models; see the version history in README.md for details.

提供机构:
Zenodo
创建时间:
2026-07-14
二维码
社区交流群
二维码
科研交流群
商业服务