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