3 ms·I think this does something for the correctness of LLMs by making it easier to check their output.by amadeuspagel 7mo agoI think this does something for the correctness of LLMs by making it easier to check their output.