xiaolesu/qwen3-8b-lean4-sft-stmt
Text Generation • 8B • Updated
• 187
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated
a dataset about 1 hour ago
xiaolesu/lean4-rl-stmt-v2 published
a dataset about 1 hour ago
xiaolesu/lean4-rl-stmt-v2 updated
a model 1 day ago
xiaolesu/qwen3-8b-lean4-sft-stmt Organizations
