AIME 1984 P1 (Human formalization) · GitHub
AIME 1984 P1 (Human formalization). GitHub Gist: instantly share code, notes, and snippets.| Gist
AIME 1984 P1 (Human formalization). GitHub Gist: instantly share code, notes, and snippets.| Gist
(I work at Anthropic, but far from any efforts related to math reasoning or formalization; opinions are my own) This is an incredibly speci...| Blog: Expanded Universe
