Add TIR and PoT - Githubissues

open-thought / system-2-research

System 2 Reasoning Link Collection

Apache License 2.0

603 stars 51 forks source link

Closed Jackmin801 closed 1 month ago

Jackmin801 commented 1 month ago

These methods were used by the Numina team who won this year's AIMO (AI Math Olympiad): https://huggingface.co/blog/winning-aimo-progress-prize