TY - RPRT TI - Constrained Machine Learning: The Bagel Framework AU - Guillaume Perez AU - Sebastian Ament AU - Carla Gomes AU - Arnaud Lallouet PY - 2021 UR - https://arxiv.org/abs/2112.01088 ID - 2112.01088 ER -