Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Amrith Setlur's picture
1

Amrith Setlur

ars22
·
  • ars22

AI & ML interests

None yet

Recent Activity

updated a model 41 minutes ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
updated a dataset 1 day ago
ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader
published a dataset 1 day ago
ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader
View all activity

Organizations

CMU Artificial Intelligence and Reinforcement Learning (AIRe) Lab's profile picture learning-to-explore's profile picture ethree's profile picture HF IMO colab's profile picture

ars22 's datasets 8

ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader

Viewer • Updated 1 day ago • 1.92k • 11

ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952

Viewer • Updated 1 day ago • 4.08k • 21

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169_gemini_3_pro_grader

Viewer • Updated 12 days ago • 1.92k • 8

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100_gemini_3_pro_grader

Viewer • Updated 12 days ago • 1.92k • 15

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100

Viewer • Updated 12 days ago • 3.84k • 20

ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169

Viewer • Updated 13 days ago • 3.84k • 16

ars22/imoproofbench_n1_t8_l32k2k_v03.00step000500_1767581185

Viewer • Updated 13 days ago • 3.84k • 20

ars22/imo_2025_n1_t8_l32k2k_v03.00step000500_1767494052

Viewer • Updated 14 days ago • 80 • 12
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs