theoretical computer science / STOC automated reviews

Stream: Machine Learning for Theorem Proving

[steven kelk]

Hi everyone,

For those of you interested, one of the premier conferences in theoretical computer science, STOC (The ACM Symposium on the Theory of Computing) is adding an experimental automated-review-by-specially-trained-version-of-Gemini to the submission process of STOC 2026.

https://acm-stoc.org/stoc2026/stoc2026-LLM_feedback.html

That's a really big thing, given the elite status of the STOC conference!

Cheers,

Steven

[Shreyas Srinivas]

This doesn’t seem lean related

[Shreyas Srinivas]

I think they are also not checking proofs per se

[Shreyas Srinivas]

They are simply checking that there is a proof sketch for everything that has been claimed and cannot detect results from literature