Hugging Face's logo

MetaMath
community
https://meta-math.github.io/
meta-math
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

wy1iu  authored a paper about 19 hours ago
Symbolic Graphics Programming with Large Language Models
wy1iu  authored a paper 4 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
wy1iu  authored a paper 7 months ago
Generating Symbolic World Models via Test-time Scaling of Large Language Models
View all activity

meta-math 's models 5