MetaMath

community

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

meta-math

AI & ML interests

None defined yet.

Recent Activity

wy1iu authored a paper about 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

wy1iu authored a paper 5 months ago

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

Longhui98 authored a paper 5 months ago

Kimi k1.5: Scaling Reinforcement Learning with LLMs

View all activity

Organization Card

Community About org cards

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

models 5

meta-math/MetaMath-Mistral-7B

Text Generation • Updated Dec 21, 2023 • 8.05k • 95

meta-math/MetaMath-Llemma-7B

Text Generation • Updated Dec 21, 2023 • 3.46k • 16

meta-math/MetaMath-7B-V1.0

Text Generation • Updated Dec 21, 2023 • 1.62k • 27

meta-math/MetaMath-70B-V1.0

Text Generation • Updated Dec 21, 2023 • 626 • 16

meta-math/MetaMath-13B-V1.0

Text Generation • Updated Dec 21, 2023 • 547 • 13

datasets 5

meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 6.54k • 387

meta-math/MetaMathQA_GSM8K_zh

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

meta-math/GSM8K_zh

Viewer • Updated Dec 4, 2023 • 8.79k • 292 • 23

meta-math/MetaMathQA-40K

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

meta-math/GSM8K_Backward

Viewer • Updated Nov 10, 2023 • 1.27k • 74 • 17