35 ms·
because it is not actually trying to prove anything about its outputs, setting the temperature to zero will just ensure it always makes the same mistake when "c
by vrighter 5mo ago
because it is not actually trying to prove anything about its outputs, setting the temperature to zero will just ensure it always makes the same mistake when "compiling" english into code.
A compiler simply always preserves semantics of its input. Even when randomness is used (ex. possibly during register allocation).