From Differential Linear Logic to Coherent Differentiation.

Published in: CoRR (2024)

Keyphrases

linear logic
fixed point
logical framework
logic programming
desirable properties
proof theoretic
sequent calculus
intuitionistic logic
cut elimination
proof search
sufficient conditions
inference rules
markov random field
general purpose
reinforcement learning
image segmentation
artificial intelligence