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 15 hours ago
lzumot/lean-prover-validator
published
a Space
about 21 hours ago
lzumot/lean-prover-validator
liked
a model
about 1 year ago
allenai/Llama-3.1-Tulu-3-8B-RM
Organizations
updated
a
Space
about 15 hours ago
published
a
Space
about 21 hours ago
liked
4
models
about 1 year ago
allenai/Llama-3.1-Tulu-3-8B-RM
Text Classification
•
8B
•
Updated
•
236
•
19
allenai/Llama-3.1-Tulu-3-8B-DPO
Text Generation
•
8B
•
Updated
•
5.06k
•
30
allenai/Llama-3.1-Tulu-3-8B-SFT
Text Generation
•
8B
•
Updated
•
15.5k
•
37
allenai/Llama-3.1-Tulu-3-8B
Text Generation
•
8B
•
Updated
•
1.87k
•
177
liked
10
Spaces
about 1 year ago
Tulu3 Awesome Datasets
🐪
8
OpenAudio S1
🏆
694
Generate speech from text
TRELLIS
🏢
4.78k
Scalable and Versatile 3D Generation from images
FLUX LoRa the Explorer
🏆
1.55k
Generate images using prompts and LoRA models
XTTS
🐸
2.77k
Generate speech from text using a reference voice
OminiControl
🌍
932
Generate an edited image based on a prompt and input image
Flux Style Shaping
🚀
886
Optical illusions and style transfer with FLUX
Qwen2.5 Coder Artifacts
🐢
274
Generate code from natural language prompts
MusicGen
🎵
5.07k
Generate music from text descriptions and optional melodies
AnyCoder
🏆
3.1k
Generate code with AI assistance
updated
2
models
about 2 years ago
liked
a
Space
almost 3 years ago