[yosefk]

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.

[falcor84]

It's about formalization in Lean, not peer review