Hugging Face's logo
Amrith Setlur's picture
1

Amrith Setlur

ars22
·

AI & ML interests

None yet

Recent Activity

updated a dataset about 7 hours ago
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169
published a dataset about 7 hours ago
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169
updated a dataset about 7 hours ago
ars22/imoproofbench_n1_t8_l32k2k_v03.00step000500_1767581185
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