Login / Signup
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