Pirate Face
⌘K
模型
排行榜
动态
救援
提交
ZK Inference
资源
登录
注册
模型
排行榜
动态
救援
提交
ZK Inference
资源
文章
运作方式
𝕏 @ThePirateFace
登录
注册
语言
English
主题
☀ 浅色
🌙 深色
@kaiyuy · Pirate Face
K
@kaiyuy
🤗
kaiyuy
@kaiyuy 尚未被认领
使用同名 Hugging Face 账户或对应组织的成员账户登录,以验证此用户名。
认领 @kaiyuy
了解验证方式
模型
模型
13 个模型
leandojo-lean4-tacgen-byt5-small
852 天前更新
🧲
磁力链接
1.2 GB
🌱 2
leandojo-lean4-retriever-byt5-small
852 天前更新
🧲
磁力链接
871 MB
🌱 1
leandojo-lean4-retriever-tacgen-byt5-small
848 天前更新
需要 🌱
1.2 GB
ct2-leandojo-lean4-tacgen-byt5-small
852 天前更新
需要 🌱
1.2 GB
ct2-leandojo-lean4-retriever-byt5-small
852 天前更新
需要 🌱
871 MB
leandojo-lean3-retriever-byt5-small
1,033 天前更新
需要 🌱
871 MB
leandojo-lean3-tacgen-byt5-small
1,033 天前更新
需要 🌱
1.2 GB
leandojo-lean3-retriever-tacgen-byt5-small
1,033 天前更新
需要 🌱
1.2 GB
ct2-byt5-german-grammar
1,075 天前更新
需要 🌱
1.2 GB
ct2-byt5-small
1,076 天前更新
需要 🌱
1.2 GB
NLProofS
1,229 天前更新
需要 🌱
66 GB
imagenet-blur-pretrained-models
1,228 天前更新
需要 🌱
37 GB
premise-embeddings-leandojo-lean4-retriever-byt5-small
852 天前更新
需要 🌱
2.2 GB