lzumot PRO
lzumot
AI & ML interests
None yet
Recent Activity
updated
a Space
about 13 hours ago
lzumot/lean-prover-validator
published
a Space
1 day ago
lzumot/lean-prover-validator
liked
a model
about 1 year ago
allenai/Llama-3.1-Tulu-3-8B-RM
Organizations
