Theory Exploration Powered By Deductive Synthesis.

Eytan Singher Shachar Itzhaky

Published in: CoRR (2020)

Keyphrases

theoretical basis
deductive reasoning
functional programs
databases
search algorithm
data sets
real world
multiscale
objective function
active learning
object oriented
theoretical framework
information theory
formal theory