20 results

Lean4

inall models datasets apps agents people projects

Models

All models matching “Lean4”

kaiyuy /leandojo-lean4-retriever-byt5-smalltransformers5 likes13k downloads2y agoHugging Face kaiyuy /leandojo-lean4-tacgen-byt5-smalltransformers15 likes2k downloads2y agoHugging Face kaiyuy /leandojo-lean4-retriever-tacgen-byt5-smalltransformers4 likes103 downloads2y agoHugging Face kaiyuy /ct2-leandojo-lean4-tacgen-byt5-smalltransformers0 likes39 downloads2y agoHugging Face kaiyuy /ct2-leandojo-lean4-retriever-byt5-smalltransformers1 likes28 downloads2y agoHugging Face hanwenzhu /leandojo-lean4-retriever-byt5-small-hammertransformers0 likes19 downloads10mo agoHugging Face sean-lamont /leandojo-lean4-tacgen-byt5-small-randomtransformers0 likes15 downloads2y agoHugging Face sean-lamont /leandojo-lean4-tacgen-byt5-small-novel-premisestransformers0 likes12 downloads2y agoHugging Face