C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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