lzumot's picture

2 15

lzumot PRO

lzumot

·

AI & ML interests

None yet

Recent Activity

updated a Space about 1 hour ago

lzumot/lean-prover-validator

published a Space about 7 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

spaces 2

Lean Prover Validator

generate a proof then test it with lean4

Deployment No Fastai

Identify cat and dog breeds from images

models 2

lzumot/mojo-coder-1B

Text Generation • 1B • Updated Dec 24, 2023 • 6

lzumot/MODULARMOJO_Mistral_V1

Text Generation • 7B • Updated Dec 3, 2023 • 9 • 2

datasets 0

None public yet