Compile to Compress tlačí formálne dokazovanie bližšie k lacnejšej prevádzke
Nová práca o theorem proving ukazuje, že kompilátorové chybové režimy môžu slúžiť ako kompresia spätnoväzbového signálu. Výsledkom má byť výkonnejšie dokazovanie bez extrémne drahého test-time compute.