lzumot's picture

lzumot

lzumot

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Thinking Before Constraining: A Unified Decoding Framework for Large Language Models

updated a Space 4 months ago

lzumot/lean-prover-validator

published a Space 4 months ago

lzumot/lean-prover-validator

View all activity

Organizations

lzumot 's models 2

lzumot/mojo-coder-1B

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

lzumot/MODULARMOJO_Mistral_V1

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