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
Charlie Meyer's picture
1

Charlie Meyer

charliemeyer2000
harrywsanders's profile picture
·
https://charliemeyer.xyz
  • charliemeyer2000

AI & ML interests

None yet

Recent Activity

updated a model about 1 month ago
charliemeyer2000/rl-v4-step5-avg-a0.3
published a model about 1 month ago
charliemeyer2000/rl-v4-step5-avg-a0.3
updated a dataset about 2 months ago
charliemeyer2000/ai4math-lean
View all activity

Organizations

None yet

models 2

charliemeyer2000/rl-v4-step5-avg-a0.3

8B • Updated Apr 11 • 3

charliemeyer2000/qwen25-7b-shadow-alignment

8B • Updated Mar 21

datasets 2

charliemeyer2000/ai4math-lean

Viewer • Updated Mar 31 • 3.39M • 73

charliemeyer2000/leandojo_benchmark_lean4_17_0

Viewer • Updated Apr 19, 2025 • 349k • 226 • 3
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs