| ▲ | yosefk 15 hours 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. | ||
| ▲ | falcor84 7 hours ago | parent [-] | |
It's about formalization in Lean, not peer review | ||
| ▲ | yosefk 15 hours 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. | ||
| ▲ | falcor84 7 hours ago | parent [-] | |
It's about formalization in Lean, not peer review | ||