Sleeping
1
Lean Prover Validator
📈
generate a proof then test it with lean4
lzumot PRO
lzumot
AI & ML interests
None yet
Recent Activity
updated
a Space about 2 months ago
lzumot/lean-prover-validator published
a Space about 2 months ago
lzumot/lean-prover-validator liked
a model about 1 year ago
allenai/Llama-3.1-Tulu-3-8B-RM Organizations
