Many problem domains, including program synthesis and rewrite-based
opti...
With the rise of software-as-a-service and microservice architectures,
R...
This work proposes an interpretable multi-view deep neural network
archi...
We consider the problem of type-directed component based synthesis where...