xiaolesu/lean4-rl-stmt-v2
Viewer
• Updated
• 10k • 8
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated
a dataset 1 day ago
xiaolesu/lean4-rl-stmt-v2 published
a dataset 1 day ago
xiaolesu/lean4-rl-stmt-v2 updated
a model 3 days ago
xiaolesu/qwen3-8b-lean4-sft-stmt Organizations
