Generalizable synthesis through unification.

Ruyi Ji Jingtao Xia Yingfei Xiong Zhenjiang Hu

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

Keyphrases

program synthesis
higher order
theorem prover
information systems
multimedia
equational theories
data sets
social networks
decision making
image processing
data structure
expert systems
facial expressions