遇见数据集

Supplementary material for CP-Agent: Agentic Constraint Programming

收藏
Zenodo2025-12-24 更新2026-05-26 收录
官方服务:

资源简介:

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.

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