Charlie Meyer's picture

1

Charlie Meyer

charliemeyer2000

·

https://charliemeyer.xyz

charliemeyer2000

AI & ML interests

None yet

Recent Activity

updated a dataset 5 days ago

charliemeyer2000/ai4math-lean

published a dataset 9 days ago

charliemeyer2000/ai4math-lean

updated a model 15 days ago

charliemeyer2000/qwen25-7b-shadow-alignment

View all activity

Organizations

None yet

models 1

charliemeyer2000/qwen25-7b-shadow-alignment

8B • Updated 15 days ago • 19

datasets 2

charliemeyer2000/ai4math-lean

Viewer • Updated 5 days ago • 3.39M • 96

charliemeyer2000/leandojo_benchmark_lean4_17_0

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