Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by sdenton4 on Saturday October 04, 2025 @04:37PM
(#45476489)
Indeed - human judges suck on average. And you can prompt an llm judge to look for particular kinds of problems, then throw the ensemble of judges at an output to nitpick. (Essentially, bake in a diversity of biases through a collection of prompts.)
[ Parent
| on HN ]
There are no comments on this comment yet.