TY - RPRT TI - Comparing Differentiable Logics for Learning Systems: A Research Preview AU - Thomas Flinkow AU - Barak A. Pearlmutter AU - Rosemary Monahan PY - 2023 DO - 10.4204/eptcs.395.3 UR - https://arxiv.org/abs/2311.09809 ID - 2311.09809 ER -