search

ellisk42 / ec

MIT License
487 stars 140 forks source link

Q: What is the best way to incorporate E-graphs with DreamCoder? #89

Open brando90 opened 2 years ago

brando90 commented 2 years ago

I saw that the most recent version of the paper for dreamcoder uses E-graphs and not fragment grammars.

Thus I was wondering how E-graphs and implemented so that they work nicelty with python and deep learning frameworks.

e.g. I saw there is the EGG library with rust and hast python API. What do you think of this? https://github.com/egraphs-good/egg/discussions/157

brando90 commented 2 years ago

also, as a friendly suggestion, consider opening the github discussion feature :)