Image de couverture de livre

CP-Agent: Agentic Constraint Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Szeider, Stefan
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Computation and Language Machine Learning Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MCP-Solver: Integrating Language Models with Constraint Programming Systems
par: Szeider, Stefan
Publié: (2024)

Generating Streamlining Constraints with Large Language Models
par: Voboril, Florentina, et autres
Publié: (2024)

Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs
par: Dai, Hankun, et autres
Publié: (2025)

AFlow: Automating Agentic Workflow Generation
par: Zhang, Jiayi, et autres
Publié: (2024)

Scaling Test-Time Compute for Agentic Coding
par: Kim, Joongwon, et autres
Publié: (2026)

Confucius Code Agent: Scalable Agent Scaffolding for Real-World Codebases
par: Wong, Sherman, et autres
Publié: (2025)

DocAgent: A Multi-Agent System for Automated Code Documentation Generation
par: Yang, Dayu, et autres
Publié: (2025)

The Impact of Fine-tuning Large Language Models on Automated Program Repair
par: Macháček, Roman, et autres
Publié: (2025)

The Art of Repair: Optimizing Iterative Program Repair with Instruction-Tuned Models
par: Ruiz, Fernando Vallecillos, et autres
Publié: (2025)

Do LLMs Consider Security? An Empirical Study on Responses to Programming Questions
par: Sajadi, Amirali, et autres
Publié: (2025)

Experiential Co-Learning of Software-Developing Agents
par: Qian, Chen, et autres
Publié: (2023)

From I/O to Code with Discovery Agent
par: Dong, Yihong, et autres
Publié: (2026)

AgentArmor: Enforcing Program Analysis on Agent Runtime Trace to Defend Against Prompt Injection
par: Wang, Peiran, et autres
Publié: (2025)

A Survey on Code Generation with LLM-based Agents
par: Dong, Yihong, et autres
Publié: (2025)

On Problems of Implicit Context Compression for Software Engineering Agents
par: Gelvan, Kirill, et autres
Publié: (2026)

Agentless: Demystifying LLM-based Software Engineering Agents
par: Xia, Chunqiu Steven, et autres
Publié: (2024)

AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?
par: Press, Ori, et autres
Publié: (2025)

Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces
par: Hort, Max, et autres
Publié: (2025)

GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
par: Shetty, Manish, et autres
Publié: (2025)

Maestro: Joint Graph & Config Optimization for Reliable AI Agents
par: Wang, Wenxiao, et autres
Publié: (2025)

Diversity Empowers Intelligence: Integrating Expertise of Software Engineering Agents
par: Zhang, Kexun, et autres
Publié: (2024)

LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?
par: Zheng, Zihan, et autres
Publié: (2025)

SELA: Tree-Search Enhanced LLM Agents for Automated Machine Learning
par: Chi, Yizhou, et autres
Publié: (2024)

Is Programming by Example solved by LLMs?
par: Li, Wen-Ding, et autres
Publié: (2024)

Toward Training Superintelligent Software Agents through Self-Play SWE-RL
par: Wei, Yuxiang, et autres
Publié: (2025)

Live-SWE-agent: Can Software Engineering Agents Self-Evolve on the Fly?
par: Xia, Chunqiu Steven, et autres
Publié: (2025)

Dive into Claude Code: The Design Space of Today's and Future AI Agent Systems
par: Liu, Jiacheng, et autres
Publié: (2026)

CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generation
par: Wang, Xinchen, et autres
Publié: (2025)

Solution-oriented Agent-based Models Generation with Verifier-assisted Iterative In-context Learning
par: Niu, Tong, et autres
Publié: (2024)

AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents
par: Trivedi, Harsh, et autres
Publié: (2024)

SWE-Protégé: Learning to Selectively Collaborate With an Expert Unlocks Small Language Models as Software Engineering Agents
par: Kon, Patrick Tser Jern, et autres
Publié: (2026)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
par: Stengel-Eskin, Elias, et autres
Publié: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
par: Wei, Anjiang, et autres
Publié: (2025)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
par: Lu, Jialin, et autres
Publié: (2026)

Operationalizing AI: Empirical Evidence on MLOps Practices, User Satisfaction, and Organizational Context
par: Pasch, Stefan
Publié: (2025)

Functional Programming Paradigm of Python for Scientific Computation Pipeline Integration
par: Zhang, Chen, et autres
Publié: (2024)

GRAPH-GRPO-LEX: Contract Graph Modeling and Reinforcement Learning with Group Relative Policy Optimization
par: Dechtiar, Moriya, et autres
Publié: (2025)

Quantum-Inspired Differentiable Integral Neural Networks (QIDINNs): A Feynman-Based Architecture for Continuous Learning Over Streaming Data
par: Dapena, Oscar Boullosa
Publié: (2025)

Repo2Run: Automated Building Executable Environment for Code Repository at Scale
par: Hu, Ruida, et autres
Publié: (2025)

REFLEX: Reference-Free Evaluation of Log Summarization via Large Language Model Judgment
par: Mudgal, Priyanka
Publié: (2025)