A Toolbox for Barriers on Interactive Oracle Proofs.

Gal Arnon Amey Bhangale Alessandro Chiesa Eylon Yogev

Published in: TCC (1) (2022)

Keyphrases

software package
user friendly
computer graphics
oracle database
theorem proving
expert systems
user interaction
virtual reality
graphical interface
machine learning
social networks
web services
theorem prover
interactive systems
highly interactive