xiaolesu/lean4-rl-stmt-v2
Viewer
• Updated
• 10k • 7
Xiaole Su
xiaolesu
AI & ML interests
None yet
Recent Activity
updated
a dataset about 15 hours ago
xiaolesu/lean4-rl-stmt-v2 published
a dataset about 15 hours ago
xiaolesu/lean4-rl-stmt-v2 updated
a model 2 days ago
xiaolesu/qwen3-8b-lean4-sft-stmt Organizations
updated a dataset about 15 hours ago
published a dataset about 15 hours ago
updated a model 2 days ago
updated a dataset 2 days ago
published a dataset 2 days ago
published a model 2 days ago
updated a dataset 3 days ago
published a dataset 3 days ago
updated a model 8 days ago
updated a model 9 days ago
published 2 models 9 days ago
updated a model 9 days ago
published a model 9 days ago