Search
Now showing items 1-1 of 1
Automatically learning optimal formula simplifiers and database entity matching rules
(Massachusetts Institute of Technology, 2017)
Traditionally, machine learning (ML) is used to find a function from data to optimize a numerical score. On the other hand, synthesis is traditionally used to find a function (or a program) that can be derived from a grammar ...