Login / Signup
Differentiable Logic Machines.
Matthieu Zimmer
Xuening Feng
Claire Glanois
Zhaohui Jiang
Jianyi Zhang
Paul Weng
Dong Li
Jianye Hao
Wulong Liu
Published in:
Trans. Mach. Learn. Res. (2023)
Keyphrases
</>
modal logic
objective function
logic programming
loss function
classical logic
proof theory
neural network
computational properties
real time
databases
information retrieval
computer vision
logical framework
predicate logic
deontic logic
dynamic logic