Egglog

Software / App

The engine powering Luminal's equality saturation, which allows for robust error debugging by providing a proof of rewrite sequences.

Mentioned in 1 video

Videos Mentioning Egglog

Why Inference Matters 12x More Than Training | YC Paper Club

Why Inference Matters 12x More Than Training | YC Paper Club

Y Combinator

The engine powering Luminal's equality saturation, which allows for robust error debugging by providing a proof of rewrite sequences.