• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Pseudo-Deterministic Proofs.

Shafi GoldwasserOfer GrossmanDhiraj 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