He Baoding
baoding
AI & ML interests
SE4AI & AI4SE
Recent Activity
updated a model about 2 months ago
baoding/mistral-7b_full_sft_proofstep published a model about 2 months ago
baoding/mistral-7b_full_sft_proofstep updated a model 8 months ago
baoding/qwen3-1.7b_full_sft_proofstepOrganizations
None yet