lm-provers/QED-Nano
Text Generation • 4B • Updated • 1.35k • • 87
Ian Wu
HerrHruby
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 hour ago
AI-Math-TCS/tcs_dataset_v1_1 published a dataset about 1 hour ago
AI-Math-TCS/tcs_dataset_v1_1 updated a dataset 4 days ago
HerrHruby/gvf_train_vf_outputsOrganizations
liked a
model 3 months ago