2 ms·
As part of the short list: * Swarat: https://blog.sigplan.org/2020/04/15/synthesizing-neurosymbolic-programs/ https://blog.sigplan.org/2020/04/15/synthesizing-
by lmeyerov 6y ago
As part of the short list:
* Swarat: https://blog.sigplan.org/2020/04/15/synthesizing-neurosymbolic-programs/ https://blog.sigplan.org/2020/04/15/synthesizing-neurosymbol... <- probably heaviest on the math side wrt PL people
* Ras Bodik (Berkeley -> UW): esp. w/ Pedro Domingos and all the MSR collaborators (Sumit Gulwani, ...) <- a bit biased b/c I was in the group while at Berkeley; Ras + Dawn are crazy creative
* Percy Liang (Stanford): Coming from the ML side and w/ a long-running interest here