lzumot's picture

lzumot PRO

lzumot

·

AI & ML interests

None yet

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 • 3 • 6

lzumot/MODULARMOJO_Mistral_V1

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

datasets 0

None public yet