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
thomwolf's profile picture GigaBoy's profile picture 21world's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 13 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 13 days ago

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

Paper • 2609.03796 • Published 14 days ago • 236
published a dataset about 1 year ago

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11, 2025 • 56.4k • 20 • 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 • 25
updated 2 models about 1 year ago

FrenzyMath/LeanSearch-PS-faiss

Updated Jul 2, 2025 • 1

FrenzyMath/LeanSearch-PS

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