charliemeyer2000/ai4math-lean
Viewer • Updated • 3.39M • 73
Charlie Meyer
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-leanOrganizations
None yet