Hugging Face's logo
Amrith Setlur's picture
2

Amrith Setlur

ars22
·

AI & ML interests

None yet

Recent Activity

liked a model about 5 hours ago
lm-provers/QED-Nano
updated a model about 7 hours ago
lm-provers/QED-Nano
updated a dataset 22 days ago
ars22/imoproofbench_n4_t8_rc_test-20260121-001350
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 LM Provers's profile picture