|
|
|
|
|
|
by lmeyerov
2219 days ago
|
|
|
As part of the short list: * Swarat: 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 |
|
|