xiaolesu/lean4-rl-stmt-v2
Viewer
• Updated
• 10k • 7
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
updated a dataset 1 day ago
published a dataset 1 day ago
updated a model 3 days ago
updated a dataset 3 days ago
published a dataset 3 days ago
published a model 3 days ago
updated a dataset 3 days ago
published a dataset 3 days ago
updated 2 models 9 days ago
published 2 models 9 days ago
updated a model 10 days ago
published a model 10 days ago