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 1 day ago
AI4Math/IneqMath
lorn666  published a Space 2 days ago
AI4Math/IneqMath-Dev-Evaluation
lorn666  updated a Space 8 days ago
AI4Math/IneqMath-Dev-Evaluation
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

AI4Math 's Spaces 2

Running

IneqMath Dev Evaluation

🦀

Display a customized leaderboard interface

8 days ago
Running
4

IneqMath Leaderboard

🦀

Customize interface to judge inequalities

Jun 3
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs