program-induction icon indicating copy to clipboard operation
program-induction copied to clipboard

Published 20 hours ago • verified publisher icon lorepozo

Add additional representations: Barry Jay's (2009) pattern calculus

Open joshrule opened this issue 7 years ago • 0 comments

In the same way that the crate currently has lambda calculus, TRSs, and PCFGs, it would be cool to explore learning in some other representations, including Barry Jay's (2009) pattern calculus.

joshrule avatar Sep 28 '18 14:09 joshrule