Interactive Oracle Proofs.

Eli Ben-Sasson Alessandro Chiesa Nicholas Spooner

Published in: TCC (B2) (2016)

Keyphrases

graphical interface
database
information systems
computer graphics
highly interactive
user interaction
virtual reality
user friendly
neural network
information retrieval
theorem proving
interactive exploration
formal proofs