13 results

mathlib4

inall models datasets apps agents people projects

Models

All models matching “mathlib4”

wellecks /llmstep-mathlib4-pythia2.8btext-generationtransformers6 likes63 downloads3y agoHugging Face 30hzzh /llmstep-mathlib4-Pythia410m0 likes14 downloads1y agoHugging Face fumiyau /mathlib4_state_diff_v20 likes4 downloads2y agoHugging Face fumiyau /mathlib4_state_diff_v30 likes4 downloads2y agoHugging Face HyunggyuJang /llmstep-mathlib4-pythia2.8b0 likes3y agoHugging Face fumiyau /mathlib4_state_diffgatedtext-classificationtransformers0 likes2y agoHugging Face