TY - RPRT TI - Scalable Coupling of Deep Learning with Logical Reasoning AU - Marianne Defresne AU - Sophie Barbe AU - Thomas Schiex PY - 2023 UR - https://arxiv.org/abs/2305.07617 ID - 2305.07617 ER -