Hacker News new | ask | show | jobs
by yosefk 147 days ago
How dare you question the rigor of the venerable LLM peer review process! These are some of the most esteemed LLMs we are talking about here.
1 comments
falcor84 147 days ago
It's about formalization in Lean, not peer review
link