Hugging Face's logo
Amrith Setlur's picture
1

Amrith Setlur

ars22
·

AI & ML interests

None yet

Recent Activity

updated a dataset 5 days ago
ars22/imoproofbench_n4_t8_rc_test-20260121-001350
published a dataset 5 days ago
ars22/imoproofbench_n4_t8_rc_test-20260121-001350
updated a dataset 7 days ago
ars22/imoproofbench_n4_t8_rc_test-20260119-224414
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