lzumot PRO

lzumot

AI & ML interests

None yet

Recent Activity

updated a Space 20 days ago
lzumot/lean-prover-validator
published a Space 21 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

Scratch to Scale's profile picture