Charlie Meyer

charliemeyer2000's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 6 days ago

charliemeyer2000/ai4math-lean

Viewer • Updated 5 days ago • 3.39M • 96

published a dataset 9 days ago

charliemeyer2000/ai4math-lean

Viewer • Updated 5 days ago • 3.39M • 96

updated a model 16 days ago

charliemeyer2000/qwen25-7b-shadow-alignment

8B • Updated 16 days ago • 19

published a model 16 days ago

charliemeyer2000/qwen25-7b-shadow-alignment

8B • Updated 16 days ago • 19

updated a dataset 12 months ago

charliemeyer2000/leandojo_benchmark_lean4_17_0

Viewer • Updated Apr 19, 2025 • 349k • 68 • 3

published a dataset 12 months ago

charliemeyer2000/leandojo_benchmark_lean4_17_0

Viewer • Updated Apr 19, 2025 • 349k • 68 • 3

liked a Space almost 3 years ago

Running on L4

1.18k

ControlNet V1.1

📉

1.18k

Generate images guided by edges, poses, sketches, and more