Apppublic

AI4Math/IneqMath-Leaderboard

sourceHugging Facecc-by-nc-4.0updated 11mo agoView on Hugging Face

6likes

settings

This repository belongs to AI4Math on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

nameIneqMath-Leaderboard

visibilitypublic

licencecc-by-nc-4.0

gatedno

ownerAI4Math