:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Michailidis, Kostis, Tsouros, Dimos, Guns, Tias
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2506.06052
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Generalizing Constraint Models in Constraint Acquisition
par: Tsouros, Dimos, et autres
Publié: (2024)

Solver-Free Decision-Focused Learning for Linear Optimization Problems
par: Berden, Senne, et autres
Publié: (2025)

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
par: Defresne, Marianne, et autres
Publié: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
par: Povéda, Guillaume, et autres
Publié: (2024)

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
par: Mandi, Jayanta, et autres
Publié: (2025)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
par: Bleukx, Ignace, et autres
Publié: (2025)

Exploiting Symmetries in MUS Computation (Extended version)
par: Bleukx, Ignace, et autres
Publié: (2024)

A Divide-Align-Conquer Strategy for Program Synthesis
par: Witt, Jonas, et autres
Publié: (2023)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
par: Balafas, Vasileios, et autres
Publié: (2025)

Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
par: Mandi, Jayanta, et autres
Publié: (2025)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
par: Foschini, Marco, et autres
Publié: (2025)

Decision-Focused Learning to Predict Action Costs for Planning
par: Mandi, Jayanta, et autres
Publié: (2024)

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
par: Crespin, Augustin, et autres
Publié: (2025)

Score Function Gradient Estimation to Widen the Applicability of Decision-Focused Learning
par: Silvestri, Mattia, et autres
Publié: (2023)

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities
par: Mandi, Jayanta, et autres
Publié: (2023)

R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
par: Jain, Raj, et autres
Publié: (2025)

Guided Discrete Diffusion for Constraint Satisfaction Problems
par: Jung, Justin
Publié: (2025)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
par: Liu, Junqi, et autres
Publié: (2025)

MoralBench: Moral Evaluation of LLMs
par: Ji, Jianchao, et autres
Publié: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
par: Pati, Viresh, et autres
Publié: (2026)

FCoReBench: Can Large Language Models Solve Challenging First-Order Combinatorial Reasoning Problems?
par: Mittal, Chinmay, et autres
Publié: (2024)

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

CCR-Bench: A Comprehensive Benchmark for Evaluating LLMs on Complex Constraints, Control Flows, and Real-World Cases
par: Xue, Xiaona, et autres
Publié: (2026)

Self-Guiding Exploration for Combinatorial Problems
par: Iklassov, Zangir, et autres
Publié: (2024)

PyCSP3: Modeling Combinatorial Constrained Problems in Python
par: Lecoutre, Christophe, et autres
Publié: (2020)

SemaTune: Semantic-Aware Online OS Tuning with Large Language Models
par: Liargkovas, Georgios, et autres
Publié: (2026)

AgentBench: Evaluating LLMs as Agents
par: Liu, Xiao, et autres
Publié: (2023)

EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
par: Zhou, Xiyuan, et autres
Publié: (2025)

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

CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
par: Sun, Weiwei, et autres
Publié: (2025)

Reasoning in a Combinatorial and Constrained World: Benchmarking LLMs on Natural-Language Combinatorial Optimization
par: Jiang, Xia, et autres
Publié: (2026)

MCJudgeBench: A Benchmark for Constraint-Level Judge Evaluation in Multi-Constraint Instruction Following
par: Lee, Jaeyun, et autres
Publié: (2026)

Geometric Algorithms for Neural Combinatorial Optimization with Constraints
par: Karalias, Nikolaos, et autres
Publié: (2025)

ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization
par: Tso, Joseph, et autres
Publié: (2026)

LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench
par: Valmeekam, Karthik, et autres
Publié: (2024)

Queueing, Predictions, and LLMs: Challenges and Open Problems
par: Mitzenmacher, Michael, et autres
Publié: (2025)

A Constraint Driven Solution Model for Discrete Domains with a Case Study of Exam Timetabling Problems
par: Sharma, Anuraganand
Publié: (2020)

IDA-Bench: Evaluating LLMs on Interactive Guided Data Analysis
par: Li, Hanyu, et autres
Publié: (2025)

CyberCertBench: Evaluating LLMs in Cybersecurity Certification Knowledge
par: Keppler, Gustav, et autres
Publié: (2026)

DialogBench: Evaluating LLMs as Human-like Dialogue Systems
par: Ou, Jiao, et autres
Publié: (2023)