Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/Shikhar8990/Learning-Guided-Superoptimizer

Learning Guided Enumerative Synthesis
https://github.com/Shikhar8990/Learning-Guided-Superoptimizer

Last synced: 2 months ago
JSON representation

Learning Guided Enumerative Synthesis

Awesome Lists containing this project

README

        

# 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.