lm-provers/QED-Nano
Text Generation • 4B • Updated • 157 • • 87
Ian Wu
HerrHruby
AI & ML interests
None yet
Recent Activity
updated a model about 15 hours ago
HerrHruby/MR_midtrain_9B_v3 published a model about 15 hours ago
HerrHruby/MR_midtrain_9B_v3 updated a dataset about 22 hours ago
HerrHruby/imo-proofbench-mr-v3sft-resultsOrganizations
liked a
model 4 months ago