Partial Regularization of First-Order Resolution Proofs.

Jan Gorzny Ezequiel Postan Bruno Woltzenlogel Paleo

Published in: CoRR (2018)

Keyphrases

first order logic
theorem proving
higher order
consequence finding
high resolution
theorem prover
regularization parameter
neural network
low resolution
higher resolution
stochastic dominance
regularization framework
smoothing parameter
formal proofs
projection operator