MetaMath

community

https://meta-math.github.io/

meta-math

AI & ML interests

None defined yet.

Recent Activity

wy1iu authored a paper about 1 month ago

Symbolic Graphics Programming with Large Language Models

wy1iu authored a paper 5 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

wy1iu authored a paper 8 months ago

Generating Symbolic World Models via Test-time Scaling of Large Language Models

View all activity

meta-math 's datasets 5

meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 7.96k • 406

meta-math/MetaMathQA_GSM8K_zh

Viewer • Updated Dec 4, 2023 • 232k • 31 • 14

meta-math/GSM8K_zh

Viewer • Updated Dec 4, 2023 • 8.79k • 240 • 26

meta-math/MetaMathQA-40K

Viewer • Updated Nov 10, 2023 • 40k • 486 • 25

meta-math/GSM8K_Backward

Viewer • Updated Nov 10, 2023 • 1.27k • 38 • 18