Amrith Setlur

ars22's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a Space 3 days ago

Running

Featured

29

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

29

Who needs 1T parameters? Olympiad proofs with a 4B model

updated a Space 4 days ago

Running

Featured

29

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

29

Who needs 1T parameters? Olympiad proofs with a 4B model

liked a model 6 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 2 days ago • 292 • 55

updated a model 6 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 2 days ago • 292 • 55

updated a dataset 28 days ago

ars22/imoproofbench_n4_t8_rc_test-20260121-001350

Viewer • Updated 28 days ago • 4.08k • 28

published a dataset 28 days ago

ars22/imoproofbench_n4_t8_rc_test-20260121-001350

Viewer • Updated 28 days ago • 4.08k • 28

updated a dataset 29 days ago

ars22/imoproofbench_n4_t8_rc_test-20260119-224414

Viewer • Updated 29 days ago • 1.5k • 23

published a dataset 29 days ago

ars22/imoproofbench_n4_t8_rc_test-20260119-224414

Viewer • Updated 29 days ago • 1.5k • 23

updated a dataset about 1 month ago

ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader

Viewer • Updated Jan 16 • 1.92k • 10

published a dataset about 1 month ago

ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader

Viewer • Updated Jan 16 • 1.92k • 10

updated a dataset about 1 month ago

ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952

Viewer • Updated Jan 16 • 4.08k • 11

published a dataset about 1 month ago

ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952

Viewer • Updated Jan 16 • 4.08k • 11

updated a model about 1 month ago

ars22/rc_qwen3_4b_thinking_2507_proof-20260112-064952

4B • Updated Jan 14 • 67

published a model about 1 month ago

ars22/rc_qwen3_4b_thinking_2507_proof-20260112-064952

4B • Updated Jan 14 • 67

updated a dataset about 1 month ago

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169_gemini_3_pro_grader

Viewer • Updated Jan 6 • 1.92k • 8

published a dataset about 1 month ago

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169_gemini_3_pro_grader

Viewer • Updated Jan 6 • 1.92k • 8

updated a dataset about 1 month ago

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100_gemini_3_pro_grader

Viewer • Updated Jan 6 • 1.92k • 12

published a dataset about 1 month ago

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100_gemini_3_pro_grader

Viewer • Updated Jan 6 • 1.92k • 12

updated a dataset about 1 month ago

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100

Viewer • Updated Jan 6 • 3.84k • 7

published a dataset about 1 month ago

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100

Viewer • Updated Jan 6 • 3.84k • 7