Copertina

DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Michailidis, Kostis, Tsouros, Dimos, Guns, Tias
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generalizing Constraint Models in Constraint Acquisition
di: Tsouros, Dimos, et al.
Pubblicazione: (2024)

Solver-Free Decision-Focused Learning for Linear Optimization Problems
di: Berden, Senne, et al.
Pubblicazione: (2025)

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
di: Defresne, Marianne, et al.
Pubblicazione: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
di: Povéda, Guillaume, et al.
Pubblicazione: (2024)

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
di: Mandi, Jayanta, et al.
Pubblicazione: (2025)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
di: Bleukx, Ignace, et al.
Pubblicazione: (2025)

Exploiting Symmetries in MUS Computation (Extended version)
di: Bleukx, Ignace, et al.
Pubblicazione: (2024)

A Divide-Align-Conquer Strategy for Program Synthesis
di: Witt, Jonas, et al.
Pubblicazione: (2023)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
di: Foschini, Marco, et al.
Pubblicazione: (2025)

Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
di: Mandi, Jayanta, et al.
Pubblicazione: (2025)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
di: Balafas, Vasileios, et al.
Pubblicazione: (2025)

Decision-Focused Learning to Predict Action Costs for Planning
di: Mandi, Jayanta, et al.
Pubblicazione: (2024)

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
di: Crespin, Augustin, et al.
Pubblicazione: (2025)

R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
di: Jain, Raj, et al.
Pubblicazione: (2025)

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning
di: Silvestri, Mattia, et al.
Pubblicazione: (2023)

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
di: Mandi, Jayanta, et al.
Pubblicazione: (2023)

Guided Discrete Diffusion for Constraint Satisfaction Problems
di: Jung, Justin
Pubblicazione: (2025)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
di: Liu, Junqi, et al.
Pubblicazione: (2025)

MoralBench: Moral Evaluation of LLMs
di: Ji, Jianchao, et al.
Pubblicazione: (2024)

CCR-Bench: A Comprehensive Benchmark for Evaluating LLMs on Complex Constraints, Control Flows, and Real-World Cases
di: Xue, Xiaona, et al.
Pubblicazione: (2026)

Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
di: Rosin, Christopher D.
Pubblicazione: (2025)

PyCSP3: Modeling Combinatorial Constrained Problems in Python
di: Lecoutre, Christophe, et al.
Pubblicazione: (2020)

FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
di: Mittal, Chinmay, et al.
Pubblicazione: (2024)

EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
di: Zhou, Xiyuan, et al.
Pubblicazione: (2025)

Self-Guiding Exploration for Combinatorial Problems
di: Iklassov, Zangir, et al.
Pubblicazione: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
di: Pati, Viresh, et al.
Pubblicazione: (2026)

CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
di: Sun, Weiwei, et al.
Pubblicazione: (2025)

Reasoning in a Combinatorial and Constrained World: Benchmarking LLMs on Natural-Language Combinatorial Optimization
di: Jiang, Xia, et al.
Pubblicazione: (2026)

AgentBench: Evaluating LLMs as Agents
di: Liu, Xiao, et al.
Pubblicazione: (2023)

ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization
di: Tso, Joseph, et al.
Pubblicazione: (2026)

MCJudgeBench: A Benchmark for Constraint-Level Judge Evaluation in Multi-Constraint Instruction Following
di: Lee, Jaeyun, et al.
Pubblicazione: (2026)

Using Code Generation to Solve Open Instances of Combinatorial Design Problems
di: Rosin, Christopher D.
Pubblicazione: (2025)

Geometric Algorithms for Neural Combinatorial Optimization with Constraints
di: Karalias, Nikolaos, et al.
Pubblicazione: (2025)

LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench
di: Valmeekam, Karthik, et al.
Pubblicazione: (2024)

Aligning LLMs with Graph Neural Solvers for Combinatorial Optimization
di: Feng, Shaodi, et al.
Pubblicazione: (2026)

Evaluating LLMs for Combinatorial Optimization: One-Phase and Two-Phase Heuristics for 2D Bin-Packing
di: Huq, Syed Mahbubul, et al.
Pubblicazione: (2025)

AudioMotionBench: Evaluating Auditory Motion Perception in Audio LLMs
di: Sun, Zhe, et al.
Pubblicazione: (2025)

IDA-Bench: Evaluating LLMs on Interactive Guided Data Analysis
di: Li, Hanyu, et al.
Pubblicazione: (2025)

CyberCertBench: Evaluating LLMs in Cybersecurity Certification Knowledge
di: Keppler, Gustav, et al.
Pubblicazione: (2026)

DialogBench: Evaluating LLMs as Human-like Dialogue Systems
di: Ou, Jiao, et al.
Pubblicazione: (2023)