Live Synthesis.

Bernd Finkbeiner Felix Klein Niklas Metzger

Published in: ATVA (2021)

Keyphrases

program synthesis
artificial intelligence
computer vision
high quality
wide range
data sets
databases
decision making
website
three dimensional
reinforcement learning
preprocessing
relational databases
mobile robot