lzumot's picture

lzumot

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

lzumot/MODULARMOJO_Mistral_V1

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

datasets 0

None public yet