ars22/rc_qwen3_4b_thinking_2507_proof-20260112-064952
4B
•
Updated
•
633
Amrith Setlur
ars22
AI & ML interests
None yet
Recent Activity
liked
a model
about 23 hours 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
ars22/pope-guide-continue-16k-noadvnkl-ent1e-4
4B
•
Updated
ars22/pope-guide-easy1k-continue-q4bin-16k-b32n8-noadvnklent
4B
•
Updated
ars22/pope-q4bin-16k-b32n8-noadvnklent
4B
•
Updated
ars22/popemix0.6-q4bins-16k-b32n8-noadvnkl-ent1e-4
4B
•
Updated
ars22/pope-q4bins-16k-b32n8-with-kl-ent-advn
4B
•
Updated
•
2
ars22/e3-1.7B
2B
•
Updated
ars22/deepseek_RFT_model
Updated