lm-provers/QED-Nano
Text Generation
•
Updated
•
46
•
30
Amrith Setlur
ars22
AI & ML interests
None yet
Recent Activity
liked
a model
1 day ago
lm-provers/QED-Nano
updated
a model
1 day ago
lm-provers/QED-Nano
updated
a dataset
23 days ago
ars22/imoproofbench_n4_t8_rc_test-20260121-001350
Organizations
liked
a
model
1 day ago
liked
a
dataset
almost 2 years ago