Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem.

Lars Noschinski

Published in: ITP (2012)

Keyphrases

theorem proving
generative model
theorem prover
fixed number
neural network
information retrieval
learning algorithm
database systems
bayesian networks
artificial neural networks
probabilistic model
posterior probability
mathematical proofs
interactive theorem proving