Skip to content

Shikhar8990/Learning-Guided-Superoptimizer

Repository files navigation

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.

About

Learning Guided Enumerative Synthesis

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published