Pseudo-Deterministic Proofs.

Shafi Goldwasser Ofer Grossman Dhiraj Holden

Published in: ITCS (2018)

Keyphrases

theorem proving
theorem prover
black box
formal proof
equational theories
data sets
neural network
social networks
bayesian networks
medical images
relaxation algorithm