Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

AI for Math Reasoning

university
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

lorn666  updated a dataset 43 minutes ago
AI4Math/IneqMath
lorn666  new activity about 1 hour ago
AI4Math/IneqMath:[bot] Conversion to Parquet
lorn666  new activity about 1 hour ago
AI4Math/IneqMath:Missing solutions for dev split
View all activity

Pan Lu's profile picture Dongzhi Jiang's profile picture Jiacheng Liu's profile picture Renrui's profile picture lorntz's profile picture

spaces 1

Running
4

IneqMath Leaderboard

🦀

Customize interface to judge inequalities

Jun 3

models 0

None public yet

datasets 3

AI4Math/IneqMath

Viewer • Updated 43 minutes ago • 1.55k • 1.25k • 6

AI4Math/MathVerse

Viewer • Updated May 15 • 4.73k • 1.21k • 58

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 11.1k • 163
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs