Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
He Baoding's picture

He Baoding

baoding
  • SoaringE

AI & ML interests

SE4AI & AI4SE

Recent Activity

updated a model 2 days ago
baoding/mistral-7b_full_sft_proofstep
published a model 5 days ago
baoding/mistral-7b_full_sft_proofstep
updated a model 7 months ago
baoding/qwen3-1.7b_full_sft_proofstep
View all activity

Organizations

None yet

models 2

baoding/mistral-7b_full_sft_proofstep

Text Generation • 7B • Updated 2 days ago • 20

baoding/qwen3-1.7b_full_sft_proofstep

Text Generation • 2B • Updated Nov 23, 2025

datasets 0

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs