20 results

aimo

inall models datasets apps agents people projects

Models

All models matching “aimo”

webai-community /ai-models0 likes1.2k downloads8d agoHugging Face AI-MO /Kimina-Prover-Distill-8Btext-generationtransformersen7 likes1k downloads1y agoHugging Face AI-MO /Kimina-Prover-Distill-1.7Btext-generationtransformersen7 likes846 downloads1y agoHugging Face AI-MO /Kimina-Autoformalizer-7Btext-generationtransformersen21 likes638 downloads1y agoHugging Face DevQuasar /AI-MO.Kimina-Autoformalizer-7B-GGUFtext-generation1 likes529 downloads1y agoHugging Face DevQuasar /AI-MO.Kimina-Prover-Preview-Distill-7B-GGUFtext-generation1 likes509 downloads1y agoHugging Face DevQuasar /AI-MO.Kimina-Prover-Distill-1.7B-GGUFtext-generation0 likes481 downloads1y agoHugging Face AI-MO /NuminaMath-7B-TIRtext-generationtransformers352 likes401 downloads2y agoHugging Face