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

Published 20 hours ago • verified publisher icon lorepozo

Add additional representations: conditional rewriting

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 conditional rewriting, where each rule can carry additional conditions for application.

joshrule avatar Sep 28 '18 14:09 joshrule