lm-provers/QED-Nano
Text Generation
•
Updated
•
46
•
29
Ian Wu
HerrHruby
AI & ML interests
None yet
Recent Activity
new activity
about 16 hours ago
HerrHruby/offline_acemath_rl_4b_inst_hard_with_dishsoap_16k_no_summ_curr_step_120:Add model card for Reasoning Cache (RCT-4B)
new activity
about 16 hours ago
HerrHruby/acemath_rl_4b_inst_hard_with_dishsoap:Add dataset card and link to paper
new activity
about 16 hours ago
HerrHruby/acemath_rl_4b_inst_hard:Add link to paper and GitHub repository
Organizations
liked
a
model
1 day ago