TY - RPRT TI - Differentiable Logic Machines AU - Matthieu Zimmer AU - Xuening Feng AU - Claire Glanois AU - Zhaohui Jiang AU - Jianyi Zhang AU - Paul Weng AU - Dong Li AU - Jianye Hao AU - Wulong Liu PY - 2023 UR - https://arxiv.org/abs/2102.11529 ID - 2102.11529 ER -