2 15

lzumot PRO

lzumot

AI & ML interests

None yet

Recent Activity

updated a Space 27 days ago

lzumot/lean-prover-validator

published a Space 28 days 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 • 7 • 6

lzumot/MODULARMOJO_Mistral_V1

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

datasets 0

None public yet

lzumot PRO

lzumot

AI & ML interests

None yet

Recent Activity

Organizations

lzumot PRO

AI & ML interests

Recent Activity

Organizations

spaces 2 Sort: Recently updated

Lean Prover Validator

Deployment No Fastai

models 2 Sort: Recently updated

datasets 0

lzumot PRO

AI & ML interests

Recent Activity

Organizations

spaces 2 Sort: Recently updated

Lean Prover Validator

Deployment No Fastai

models 2 Sort: Recently updated

datasets 0

spaces 2

models 2

spaces 2

models 2