lm-provers/QED-Nano
Text Generation • 4B • Updated • 4.11k • 87
Ian Wu
HerrHruby
AI & ML interests
None yet
Recent Activity
updated a model about 4 hours ago
HerrHruby/meta_reasoning_v1_01_step200 published a model about 4 hours ago
HerrHruby/meta_reasoning_v1_01_step200 updated a dataset about 9 hours ago
HerrHruby/tcs-proofsOrganizations
liked a
model about 2 months ago