Conversational Human-Aware Technology for Optimisation

Informacje na temat projektu

CHAT-Opt

Identyfikator umowy o grant: 101002802

DOI

10.3030/101002802

Projekt został zamknięty

Data podpisania przez KE 30 Marca 2021

Data rozpoczęcia 1 Czerwca 2021

Data zakończenia 31 Maja 2026

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 893 125,00

Wkład UE

€ 1 893 125,00

Koordynowany przez

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Open Research Data Pilot (1)

Data Management Plan

Publikacje

Other (3)

Things we underestimated while developing the CPMpy constraint modelling library

Autorzy: Tias Guns, Dimosthenis Tsouros
Opublikowane w: The 22nd workshop on Constraint Modelling and Reformulation, 2023
Wydawca: online: https://modref.github.io/ModRef2023.html

Holy Grail 2.0: From Natural Language to Constraint Models

Autorzy: Dimosthenis Tsouros, Helene Verhaeghe, Serdar Kadioglu, Tias Guns
Opublikowane w: Progress Toward the Holy Grail workshop at CP2023, 2023
Wydawca: Online: https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/
DOI: 10.48550/arxiv.2308.01589

Sudoku Assistant - An AI-powered app to help solve pen-and-paper Sudokus

Autorzy: Tias Guns, Milan Pesa, Maxime Mulamba, Ignace Bleukx, Emilio Gamba, and Senne Berden
Opublikowane w: BNAIC/BeNeLearn AI & ML conference for Belgium, Netherlands & Luxembourg, 2022
Wydawca: Benelux Association for Artificial Intelligence (BNVKI)

Conference proceedings (30)

Learning to Learn in Interactive Constraint Acquisition

Autorzy: Dimosthenis Tsouros, Senne Berden, Tias Guns
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 8, 2024, Strona(/y) 8154-8162
Wydawca: AAAI Press
DOI: 10.1609/aaai.v38i8.28655

Efficient Modeling of Half-reified Global Constraints

Autorzy: Bleukx, Ignace; Verhaeghe, Hélène; Tsouros, Dimos; Guns, Tias
Opublikowane w: The 23rd workshop on Constraint Modelling and Reformulation, 2024
Wydawca: online: https://modref.github.io/ModRef2024.html

Exploiting Symmetries in MUS Computation

Autorzy: Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 39, 2025, Strona(/y) 11122-11130, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i11.33209

Learning Preferences over Unsatisfiable Subsets

Autorzy: Gamba, Emilio; Foschini, Marco; Mandi, Jayanta; Bogaerts, Bart; Guns, Tias
Opublikowane w: PTHG-24: The Seventh Workshop on Progress Towards the Holy Grail, 2024
Wydawca: PTHG

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis.

Autorzy: Orestis Lomis; Jo Devriendt; Hendrik Bierlee; Tias Guns
Opublikowane w: 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025); 2025; Vol. 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), Numer 1, 2025
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

CPMpy_* submissions to the XCSP3 competition

Autorzy: Guns, Tias; Vanroose, Wout; Sergeys, Thomas; Bleukx, Ignace; Devriendt, Jo; Tsouros, Dimos; Verhaeghe, Hélène
Opublikowane w: Proceedings of the 2024 XCSP3 Competition, 2024
Wydawca: Arxiv: https://arxiv.org/abs/2412.00117

Towards Step-wise Explanations Of Large Search Trees

Autorzy: Bleukx, Ignace; J. Stuckey, Peter; Guns, Tias
Opublikowane w: 32nd International Conference on Principles and Practice of Constraint Programming, 2026
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

CPMpy_* submissions to the XCSP3 competition

Autorzy: Guns, Tias; Sergeys, Thomas; Bleukx, Ignace; Tsouros, Dimos; Bierlee, Hendrik
Opublikowane w: Proceedings of the 2025 XCSP3 Competition, 2025
Wydawca: Arxiv: https://arxiv.org/abs/2511.06918

Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities

Autorzy: Sergeys, Thomas; Bleukx, Ignace; Guns, Tias
Opublikowane w: 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026), 2026
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Simplifying Step-wise Explanation Sequences

Autorzy: Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer Volume 280, 2023, Strona(/y) 11:1 - 11:20
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.cp.2023.11

Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems

Autorzy: Bleukx, Ignace; Guns, Tias
Opublikowane w: LLMs meet Constraint Solving 2026 - FLOC &CP 2026 Workshop, 2026
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Autorzy: Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 40, 2026, Strona(/y) 14225-14233, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v40i17.38436

Guided Bottom-Up Interactive Constraint Acquisition

Autorzy: Dimosthenis Tsouros, Senne Berden, Tias Guns
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), 2023, Strona(/y) 36:1 - 36:20
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.cp.2023.36

An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems

Autorzy: Bastián Véjar, Gaël Aglin, Ali İrfan Mahmutoğulları, Siegfried Nijssen, Pierre Schaus, Tias Guns
Opublikowane w: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, proceedings, 2024, Strona(/y) 253--262, ISBN 978-3-031-60599-4
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-60599-4_17

Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation

Autorzy: Marianne Defresne, Jayanta Mandi, Tias Guns
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2025, Strona(/y) 2583-2591
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/288

Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions

Autorzy: Ignace Bleukx, Senne Berden, Lize Coenen, Nicholas Decleyre, Tias Guns
Opublikowane w: Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Lecture Notes in Computer Science, Numer volume 13292, 2022, Strona(/y) 64-73
Wydawca: Springer
DOI: 10.1007/978-3-031-08011-1_6

From CP Modeling to Preference Elicitation in HMLV Assembly Problems

Autorzy: Foschini, Marco; Gamba, Emilio; Kletzander, Lucas; Guns, Tias
Opublikowane w: 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Learning Constraint Programming Models from Data Using Generate-And-Aggregate

Autorzy: Mohit Kumar, Samuel Kolb, Tias Guns
Opublikowane w: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Numer Volume 235, 2022, Strona(/y) 29:1 - 29:16, ISBN 978-3-95977-240-2
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (lzi)
DOI: 10.4230/lipics.cp.2022.29

Decision-Focused Learning: Through the Lens of Learning to Rank

Autorzy: Jayanta Mandi, Víctor Bucarey, Maxime Mulamba Ke Tchomba, Tias Guns
Opublikowane w: Proceedings of the 39th International Conference on Machine Learning;, Numer Vol. 162, 2022, Strona(/y) 14935 - 14947
Wydawca: PMLR

Table Constraints for Integer Programming

Autorzy: Bierlee, Hendrik; Piessens, Wout; Stuckey, Peter; Guns, Tias
Opublikowane w: 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), 2026
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Using Certifying Constraint Solvers for Generating Step-wise Explanations

Autorzy: Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 40, 2026, Strona(/y) 14192-14200, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v40i17.38432

Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints

Autorzy: Mandi, Jayanta; Defresne, Marianee; Berden, Senne; Guns, Tias
Opublikowane w: Advances in Neural Information Processing Systems 38 (NeurIPS 2025), 2025, ISSN 1049-5258
Wydawca: Morgan Kaufmann Publishers

Mutational Fuzz Testing for Constraint Modeling Systems.

Autorzy: Vanroose, Wout; Bleukx, Ignace; Devriendt, jo; Tsouros, dimos; Verhaeghe, hélène; Guns, tias
Opublikowane w: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024, Strona(/y) 29:1--29:25, ISBN 978-3-95977-336-2
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2024.29

Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus

Autorzy: Tias Guns, Emilio Gamba, Ignace Bleukx, Senne Berden, Milan Pesa
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer vol. 37 (13), 2023, Strona(/y) 16440-16442
Wydawca: AAAI press
DOI: 10.1609/aaai.v37i13.27072

Contrastive Losses and Solution Caching for Predict-and-Optimize

Autorzy: Maxime Mulamba, Jayanta Mandi, Michelangelo Diligenti, Michele Lombardi, Victor Bucarey, Tias Guns
Opublikowane w: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Strona(/y) 2833-2840
Wydawca: ijcai.org
DOI: 10.24963/ijcai.2021/390

Constraint Modelling with LLMs Using In-Context Learning.

Autorzy: Michailidis, Kostis; Tsouros, Dimos; Guns, Tias
Opublikowane w: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), 2024, Strona(/y) 20:1--20:27, ISBN 978-3-95977-336-2
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2024.20

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Autorzy: Emilio Gamba, Bart Bogaerts, Tias Guns
Opublikowane w: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Strona(/y) 1381-1388
Wydawca: ijcai.org
DOI: 10.24963/ijcai.2021/191

Solver-Free Decision-Focused Learning for Linear Optimization Problems

Autorzy: Berden, Senne; Mahmutogullari, Irfan; Tsouros, Dimos; Guns, Tias
Opublikowane w: Advances in neural information processing systems, 2025, ISSN 1049-5258
Wydawca: Morgan Kaufmann Publishers

Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation

Autorzy: Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns:
Opublikowane w: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Numer Volume 235, 2022, Strona(/y) 8:1-8:16, ISBN 978-3-95977-240-2
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (lzi)
DOI: 10.4230/lipics.cp.2022.8

Breaking Constraint Modelling Languages with Metamorphic Testing

Autorzy: Bleukx, Ignace; Vanroose, Wout; Devriendt, Jo; Tsouros, Dimos; Verhaeghe, Helene; Guns, Tias
Opublikowane w: The 22nd workshop on Constraint Modelling and Reformulation, 2023
Wydawca: online: https://modref.github.io/ModRef2023.html

Peer reviewed articles (7)

Anytime Lexicographic Enumeration of the Pareto Front in Multi‐Objective Combinatorial Optimisation

Autorzy: Marco Foschini, Dimos Tsouros, Bistra Dilkina, Tias Guns
Opublikowane w: Journal of Multi-Criteria Decision Analysis, Numer 33, 2026, ISSN 1057-9214
Wydawca: John Wiley and Sons Ltd
DOI: 10.1002/mcda.70029

Probability Estimation and Structured Output Prediction for Learning Preferences in Last Mile Delivery

Autorzy: Rocsildes Canoy, Victor Bucarey, Jayanta Mandi, Maxime Mulamba, Yves Molenbruch, Tias Guns
Opublikowane w: Computers & Industrial Engineering, Numer 189, 2023, Strona(/y) 109932, ISSN 0360-8352
Wydawca: Pergamon Press Ltd.
DOI: 10.2139/ssrn.4363937

Perception-based constraint solving for sudoku images

Autorzy: Maxime Mulamba, Jayanta Mandi, Ali İrfan Mahmutoğulları, Tias Guns
Opublikowane w: Constraints, Numer 29, 2024, Strona(/y) 112-151, ISSN 1383-7133
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10601-024-09372-9

Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities

Autorzy: Jayanta Mandi, James Kotary, Senne Berden, Maxime Mulamba, Victor Bucarey, Tias Guns, Ferdinando Fioretto
Opublikowane w: Journal of Artificial Intelligence Research, Numer 80, 2024, Strona(/y) 1623-1701, ISSN 1076-9757
Wydawca: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.15320

Learn and route: learning implicit preferences for vehicle routing

Autorzy: Rocsildes Canoy, Víctor Bucarey, Jayanta Mandi, Tias Guns
Opublikowane w: Constraints, Numer vol. 28; iss. 3, 2023, Strona(/y) 363 - 396, ISSN 1383-7133
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10601-023-09363-2

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Autorzy: Emilio Gamba, Bart Bogaerts, Tias Guns
Opublikowane w: Journal of Artificial Intelligence Research, Numer 78, 2023, Strona(/y) 709-746, ISSN 1076-9757
Wydawca: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14260

Generalizing Constraint Models in Constraint Acquisition

Autorzy: Dimos Tsouros, Senne Berden, Steven Prestwich, Tias Guns
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 39, 2025, Strona(/y) 11362-11371, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v39i11.33236

Book chapters (2)

CP-Bench: Evaluating Large Language Models for Constraint Modelling

Autorzy: Kostis Michailidis, Dimos Tsouros, Tias Guns
Opublikowane w: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Wydawca: IOS Press
DOI: 10.3233/faia250890

Minimizing Surrogate Losses for Decision-Focused Learning Using Differentiable Optimization

Autorzy: Jayanta Mandi, Ali İrfan Mahmutoğulları, Senne Berden, Tias Guns
Opublikowane w: Frontiers in Artificial Intelligence and Applications, ECAI 2025, 2025
Wydawca: IOS Press
DOI: 10.3233/faia251273