11 results

ai4math

inall models datasets apps agents people projects

Models

All models matching “ai4math”

ruc-ai4math /LeanStateSearch2025.3sentence-similarity1 likes87 downloads2y agoHugging Face huawei-ai4math /Mathesis-Autoformalizer-HPO0 likes9 downloads1y agoHugging Face huawei-ai4math /Mathesis-Autoformalizer0 likes5 downloads1y agoHugging Face ruc-ai4math /Lean_State_Search_Randomsentence-similaritytransformers4 likes2y agoHugging Face