Hacker News new | ask | show | jobs
by amadeuspagel 102 days ago
I think this does something for the correctness of LLMs by making it easier to check their output.