Data-driven lemma synthesis for interactive proofs.

Aishwarya Sivaraman Alex Sanchez-Stern Bretton Chen Sorin Lerner Todd D. Millstein

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

data driven
computer graphics
user friendly
highly interactive
virtual reality
user interaction
real time
program synthesis
database
expert systems
information systems
artificial intelligence
product configuration
data sets
interactive video
equational theories
mathematical proofs
johnson lindenstrauss