Comment by yosefk
21 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.
21 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.
It's about formalization in Lean, not peer review