Computational expressivity of (circular) proofs with fixed points.

Gianluca Curzi Anupam Das

Published in: CoRR (2023)

Keyphrases

fixed point
linear logic
sufficient conditions
free energy
approximate value iteration
belief propagation
initial conditions
asymptotic properties
dynamical systems
computer vision
three dimensional
image sequences
prior knowledge
multi view
topic models
temporal difference learning