Awards

Paper: https://openreview.net/pdf?id=vqW1VRFeVP

Code: https://github.com/trishullab/PUTNAM

Contributed Talk: https://icml.cc/virtual/2024/38008

Paper: https://openreview.net/pdf?id=MG18DR2dAN

Contributed Talk: https://icml.cc/virtual/2024/38009

Code: https://github.com/zhymma/Cogbase-ICML-2024-Competition

Contributed Talk: https://icml.cc/virtual/2024/37892

Code: https://github.com/ShiyuNee/Math-AI-Expert

Code: https://anonymous.4open.science/r/RREAMR-63FF

Code: https://github.com/zhymma/Cogbase-ICML-2024-Competition

Contributed Talk: https://icml.cc/virtual/2024/37893

Code: https://github.com/xu3kev/ICML_MATHAI_2024_Autoinformalization

Code: https://anonymous.4open.science/r/RREAMR-63FF

Code: https://github.com/Lei085400/AUTOMATED-THEOREM-GENERATION

Contributed Talk: https://icml.cc/virtual/2024/37894

Code: https://github.com/WangMinmao/ICML

Code: https://github.com/baibizhe/icml2024_t2

Code: https://github.com/appliedai-spindox/icml24-automathres-t3

Contributed Talk: https://icml.cc/virtual/2024/37895

Code: https://github.com/ShangziXue/ICML24_Track3_CogBase

Code: https://github.com/Hashiraee/ICML24AI4Math

Code: https://github.com/seedmaas/SeedModeler-basic