36 citations · 236 across the 52 of their papers we have counts for
53 papers
MultiZenoTravel: a Tunable Benchmark for Multi-Objective Planning with Known Pareto Front
Alexandre Quemy, Marc Schoenauer, Johann Dreo
Multi-objective AI planning suffers from a lack of benchmarks exhibiting known Pareto Fronts. In this work, we propose a tunable benchmark generator, together with a dedicated solv…
Frugal Machine Learning
Mikhail Evchenko, Joaquin Vanschoren, Holger H. Hoos +2
Machine learning, already at the core of increasingly many systems and applications, is set to become even more ubiquitous with the rapid rise of wearable devices and the Internet…
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer +2
The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tool…
Paradiseo: From a Modular Framework for Evolutionary Computation to the Automated Design of Metaheuristics ---22 Years of Paradiseo---
Johann Dreo, Arnaud Liefooghe, Sébastien Verel +5
The success of metaheuristic optimization methods has led to the development of a large variety of algorithm paradigms. However, no algorithm clearly dominates all its competitors…
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani +1
The topic of provable deep neural network robustness has raised considerable interest in recent years. Most research has focused on adversarial robustness, which studies the robust…
LEAP nets for power grid perturbations
Benjamin Donnot, Balthazar Donon, Isabelle Guyon +4
We propose a novel neural network embedding approach to model power transmission grids, in which high voltage lines are disconnected and reconnected with one-another from time to t…