Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms.

Published in: LICS (2024)

Keyphrases

higher order
image compression
bayesian networks
data compression
neural network
computational complexity
probabilistic inference
first order logic
belief networks
compression scheme