MetaMath

community

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

meta-math

AI & ML interests

None defined yet.

Recent Activity

wy1iu authored a paper 8 days ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

wy1iu authored a paper 3 months ago

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

Longhui98 authored a paper 4 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 • 2.38k • 95

meta-math/MetaMath-Llemma-7B

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

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

Text Generation • Updated Dec 21, 2023 • 429 • 27

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

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

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

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

datasets 5

meta-math/MetaMathQA

Viewer • Updated Dec 21, 2023 • 395k • 6.08k • 382

meta-math/MetaMathQA_GSM8K_zh

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

meta-math/GSM8K_zh

Viewer • Updated Dec 4, 2023 • 8.79k • 485 • 21

meta-math/MetaMathQA-40K

Viewer • Updated Nov 10, 2023 • 40k • 287 • 23

meta-math/GSM8K_Backward

Viewer • Updated Nov 10, 2023 • 1.27k • 29 • 16