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
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
simon2011's picture

simon2011

simon2011
1
21world's profile picture HaimingW's profile picture thomwolf's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago
LLaDA-Image: Building Strong Image Generators with Fully Open Training Recipes
published a dataset about 1 year ago
FrenzyMath/state_tactic_pairs
published a model about 1 year ago
FrenzyMath/REAL-Prover
View all activity

Organizations

AI4M's profile picture FrenzyMath's profile picture

upvoted a paper 2 days ago

LLaDA-Image: Building Strong Image Generators with Fully Open Training Recipes

Paper • 2609.03796 • Published 4 days ago • 226
published a dataset about 1 year ago

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11, 2025 • 56.4k • 15 • 1
published 3 models about 1 year ago

FrenzyMath/REAL-Prover

Text Generation • 8B • Updated Jul 17, 2025 • 37 •

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 26
updated 2 models about 1 year ago

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

Updated Jul 2, 2025 • 26
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs