arxiv:2503.07572
Amrith Setlur
ars22
·
AI & ML interests
None yet
Recent Activity
liked
a model
about 2 hours ago
lm-provers/QED-Nano
updated
a model
about 4 hours ago
lm-provers/QED-Nano
updated
a dataset
22 days ago
ars22/imoproofbench_n4_t8_rc_test-20260121-001350
Organizations
models
8
ars22/rc_qwen3_4b_thinking_2507_proof-20260112-064952
4B
•
Updated
•
660
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
datasets
10
ars22/imoproofbench_n4_t8_rc_test-20260121-001350
Viewer
•
Updated
•
4.08k
•
26
ars22/imoproofbench_n4_t8_rc_test-20260119-224414
Viewer
•
Updated
•
1.5k
•
20
ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader
Viewer
•
Updated
•
1.92k
•
22
ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952
Viewer
•
Updated
•
4.08k
•
38
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169_gemini_3_pro_grader
Viewer
•
Updated
•
1.92k
•
8
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100_gemini_3_pro_grader
Viewer
•
Updated
•
1.92k
•
12
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100
Viewer
•
Updated
•
3.84k
•
5
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169
Viewer
•
Updated
•
3.84k
•
11
ars22/imoproofbench_n1_t8_l32k2k_v03.00step000500_1767581185
Viewer
•
Updated
•
3.84k
•
15
ars22/imo_2025_n1_t8_l32k2k_v03.00step000500_1767494052
Viewer
•
Updated
•
80
•
6