Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sdenton4
5 months ago
|
parent
|
context
|
favorite
| on:
ProofOfThought: LLM-based reasoning using Z3 theor...
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.)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: