3 ms·
Perhaps LLM-guided Superoptimization: <https://en.wikipedia.org/wiki/Superoptimization https://en.wikipedia.org/wiki/Superoptimization> I recall reading about
by coppsilgold 7mo ago
Perhaps LLM-guided Superoptimization: <https://en.wikipedia.org/wiki/Superoptimization https://en.wikipedia.org/wiki/Superoptimization>
I recall reading about a stochastic one years ago: <https://github.com/StanfordPL/stoke https://github.com/StanfordPL/stoke>