Publications (28)
Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
Léo Boisvert, Hélène Verhaeghe, Quentin Cappart
In recent years, there has been a growing interest in using learning-based approaches for solving combinatorial problems, either in an end-to-end manner or in conjunction with trad…
Combinatorial optimization and reasoning with graph neural networks
Quentin Cappart, Didier Chételat, Elias Khalil +3
Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolatio…
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights
Maxime Gasse, Quentin Cappart, Jonas Charfreitag +38
Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolatio…
Verification of interlocking systems using statistical model checking
Quentin Cappart, Christophe Limbree, Pierre Schaus +3
In the railway domain, an interlocking is the system ensuring safe train traffic inside a station by controlling its active elements such as the signals or points. Modern interlock…
Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau
Decision diagrams are an increasingly important tool in cutting-edge solvers for discrete optimization. However, the field of decision diagrams is relatively new, and is still inco…
DoomArena: A framework for Testing AI Agents Against Evolving Security Threats
Leo Boisvert, Mihir Bansal, Chandra Kiran Reddy Evuru +9
We present DoomArena, a security evaluation framework for AI agents. DoomArena is designed on three principles: 1) It is a plug-in framework and integrates easily into realistic ag…