Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
90.2
TFLOPS
2
15
lzumot
PRO
lzumot
Follow
Timjo88's profile picture
alonsosilva's profile picture
kurianbenoy's profile picture
6 followers
·
27 following
AI & ML interests
None yet
Recent Activity
updated
a Space
about 15 hours ago
lzumot/lean-prover-validator
published
a Space
about 21 hours ago
lzumot/lean-prover-validator
liked
a model
about 1 year ago
allenai/Llama-3.1-Tulu-3-8B-RM
View all activity
Organizations
lzumot
's models
2
Sort:Â Recently updated
lzumot/mojo-coder-1B
Text Generation
•
1B
•
Updated
Dec 24, 2023
•
6
lzumot/MODULARMOJO_Mistral_V1
Text Generation
•
7B
•
Updated
Dec 3, 2023
•
11
•
2