benchmarks.wiki / Public workspace

MGSM / Marcell and Beatrice are having a contest to see who can eat the most fruit… · Discussion

Discussing Marcell and Beatrice are having a contest to see who can eat the most fruit… · MGSM

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.