Thanks! Well, if you folks are interested in formal methods and learning, then you might be interested in Inductive Logic Programming. Here's a link to my work:

Thanks! Well, if you folks are interested in formal methods and learning, then you might be interested in Inductive Logic Programming. Here's a link to my work: https://github.com/stassa/louise https://github.com/stassa/louise The referenced papers include some examples on learning a simple CFG for a small set of Magic: the Gathering examples. More recent work looks at solving mazes and taking names (under review). One of our PhDs is working to implement all this in Rust btw. Sorry for advertising my work on your post :)