Login / Signup
Pseudo-deterministic Proofs.
Shafi Goldwasser
Ofer Grossman
Dhiraj Holden
Published in:
CoRR (2017)
Keyphrases
</>
theorem proving
theorem prover
stochastic methods
formal proofs
decision making
real time
real world
machine learning
image processing
high level
multiscale
search algorithm
natural language
expert systems
pseudo random number