/Learning-Guided-Superoptimizer

Learning Guided Enumerative Synthesis

Primary LanguageRacket

Learning-Guided-Superoptimizer

Different implementations of Greenthumb to achieve buld and sequence orderings for pruning and expansion. Builds of top of greenthumb.

Coming Soon - Tutorial to use a learned model to order the search space of the LENS search algorithm.

Greenthumb: https://github.com/mangpo/greenthumb. The procedure install and run is similar to that of Greenthumb.