9 citations · 30 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Occam Learning Meets Synthesis Through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong +1
The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited.…
cs.PL2021
Analytical Differential Calculus with Integration
Han Xu, Zhenjiang Hu
Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential…