{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T07:17:14Z","timestamp":1783408634205,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"FWF","award":["10.55776\/P36420"],"award-info":[{"award-number":["10.55776\/P36420"]}]},{"name":"FWF","award":["10.55776\/COE12"],"award-info":[{"award-number":["10.55776\/COE12"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786181.3788711","type":"proceedings-article","created":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T06:28:24Z","timestamp":1783405704000},"page":"6-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CP-Agent: Agentic Constraint Programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8994-1656","authenticated-orcid":false,"given":"Stefan","family":"Szeider","sequence":"first","affiliation":[{"name":"Faculty of Informatics, TU Wien, Wien, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,6]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"Anthropic. 2024. Model Context Protocol. https:\/\/modelcontextprotocol.io Protocol specification for connecting language models to external systems."},{"key":"e_1_3_3_2_3_2","unstructured":"Astral Software Inc.2025. uv: An Extremely Fast Python Package and Project Manager. https:\/\/github.com\/astral-sh\/uv Documentation: https:\/\/docs.astral.sh\/uv\/."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00157"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639219"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Eugene\u00a0C. Freuder and Barry O\u2019Sullivan. 2014. Grand challenges for constraint programming. Constraints An Int. J. 19 2 (2014) 150\u2013162. 10.1007\/S10601-013-9155-1","DOI":"10.1007\/S10601-013-9155-1"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"e_1_3_3_2_8_2","unstructured":"Tias Guns. 2025. Modeling and solving with CPMpy. https:\/\/cpmpy.readthedocs.io\/ CPMpy documentation."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Xinyi Hou Yanjie Zhao Shenao Wang and Haoyu Wang. 2025. Model Context Protocol (MCP): Landscape Security Threats and Future Research Directions. CoRR abs\/2503.23278 (2025). arXiv:https:\/\/arXiv.org\/abs\/2503.2327810.48550\/arXiv.2503.23278","DOI":"10.48550\/arXiv.2503.23278"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.91"},{"key":"e_1_3_3_2_11_2","volume-title":"International Conference on Learning Representations (ICLR)","author":"Khattab Omar","year":"2024","unstructured":"Omar Khattab, Arnav Singhvi, Paridhi Maheshwari, Zhiyuan Zhang, Keshav Santhanam, Sri Vardhamanan, Saiful Haq, Ashutosh Sharma, Thomas\u00a0T. Joshi, Hanna Moazam, Heather Miller, Matei Zaharia, and Christopher Potts. 2024. DSPy: Compiling Declarative Language Model Calls into State-of-the-Art Pipelines. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_3_2_12_2","unstructured":"H\u00e5kan Kjellerstrand. 2024. Constraint Programming Models Collection. https:\/\/github.com\/hakank\/hakank Collection of constraint programming models in various languages."},{"key":"e_1_3_3_2_13_2","unstructured":"LangChain. 2024. LangGraph: Build resilient language agents as graphs. https:\/\/python.langchain.com\/docs\/langgraph Python library for building stateful multi-actor applications with LLMs."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.52202\/075280-0943"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","unstructured":"Kostis Michailidis Dimos Tsouros and Tias Guns. 2025. CP-Bench: Evaluating Large Language Models for Constraint Modelling. CoRR abs\/2506.06052 (2025). arXiv:https:\/\/arXiv.org\/abs\/2506.0605210.48550\/ARXIV.2506.06052","DOI":"10.48550\/ARXIV.2506.06052"},{"key":"e_1_3_3_2_16_2","unstructured":"Yohei Nakajima. 2023. BabyAGI: Task-Driven Autonomous Agent. https:\/\/github.com\/yoheinakajima\/babyagi GitHub repository March 2023."},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Fernando P\u00e9rez and Brian\u00a0E. Granger. 2007. IPython: A System for Interactive Scientific Computing. Comput. Sci. Eng. 9 3 (2007) 21\u201329. 10.1109\/MCSE.2007.53","DOI":"10.1109\/MCSE.2007.53"},{"key":"e_1_3_3_2_18_2","series-title":"Proceedings of Machine Learning Research","first-page":"189","volume-title":"NeurIPS 2022 Competition Track, November 28 - December 9, 2022, Online","volume":"220","author":"Ramamonjison Rindranirina","year":"2022","unstructured":"Rindranirina Ramamonjison, Timothy T.\u00a0L. Yu, Raymond Li, Haley Li, Giuseppe Carenini, Bissan Ghaddar, Shiqi He, Mahdi Mostajabdaveh, Amin Banitalebi-Dehkordi, Zirui Zhou, and Yong Zhang. 2022. NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions. In NeurIPS 2022 Competition Track, November 28 - December 9, 2022, Online(Proceedings of Machine Learning Research, Vol.\u00a0220), Marco Ciccone, Gustavo Stolovitzky, and Jacob Albrecht (Eds.). PMLR, 189\u2013203. https:\/\/proceedings.mlr.press\/v220\/ramamonjison22a.html"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CP.2024.25"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.52202\/075280-2997"},{"key":"e_1_3_3_2_21_2","unstructured":"Stefan Szeider. 2025. Agentic Python Coder. https:\/\/github.com\/szeider\/agentic-python-coder GitHub repository."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SAT.2025.30"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Stefan Szeider. 2025. Supplementary Material for CP-Agent: Agentic Constraint Programming. 10.5281\/zenodo.18034815Zenodo.","DOI":"10.5281\/zenodo.18034815"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3786168.3788402"},{"key":"e_1_3_3_2_25_2","unstructured":"Dimos Tsouros H\u00e9l\u00e8ne Verhaeghe Serdar Kad\u0131o\u011flu and Tias Guns. 2023. Holy Grail 2.0: From Natural Language to Constraint Models. CoRR abs\/2308.01589 (2023). arXiv:https:\/\/arXiv.org\/abs\/2308.01589https:\/\/arxiv.org\/abs\/2308.01589"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2024.EMNLP-MAIN.1111"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"Mark Wallace. 1996. Practical Applications of Constraint Programming. Constraints An Int. J. 1 1\/2 (1996) 139\u2013168. 10.1007\/BF00143881","DOI":"10.1007\/BF00143881"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2023.ACL-LONG.147"},{"key":"e_1_3_3_2_29_2","volume-title":"Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024","author":"Wang Xingyao","year":"2024","unstructured":"Xingyao Wang, Yangyi Chen, Lifan Yuan, Yizhe Zhang, Yunzhu Li, Hao Peng, and Heng Ji. 2024. Executable Code Actions Elicit Better LLM Agents. In Forty-first International Conference on Machine Learning, ICML 2024, Vienna, Austria, July 21-27, 2024. OpenReview.net. https:\/\/openreview.net\/forum?id=jJ9BoXAfFa"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680323"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.52202\/079017-1601"},{"key":"e_1_3_3_2_33_2","volume-title":"The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023","author":"Yao Shunyu","year":"2023","unstructured":"Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik\u00a0R. Narasimhan, and Yuan Cao. 2023. ReAct: Synergizing Reasoning and Acting in Language Models. In The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023. OpenReview.net. https:\/\/openreview.net\/forum?id=WE_vluYUL-X"}],"event":{"name":"LLM4Code '26: 3rd International Workshop on Large Language Models For Code","location":"Rio de Janeiro Brazil","acronym":"LLM4Code '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 3rd International Workshop on Large Language Models For Code"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786181.3788711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T06:30:48Z","timestamp":1783405848000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786181.3788711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":32,"alternative-id":["10.1145\/3786181.3788711","10.1145\/3786181"],"URL":"https:\/\/doi.org\/10.1145\/3786181.3788711","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}