Hugging Face's logo
Amrith Setlur's picture
1

Amrith Setlur

ars22
·

AI & ML interests

None yet

Recent Activity

updated a dataset 21 minutes ago
ars22/imoproofbench_n4_t8_rc_test-20260119-224414
published a dataset 21 minutes ago
ars22/imoproofbench_n4_t8_rc_test-20260119-224414
updated a model about 7 hours ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
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