Hugging Face's logo
Jeremy Avigad's picture

Jeremy Avigad

javigad
ยท
http://www.andrew.cmu.edu/user/avigad/

AI & ML interests

None yet

Organizations

Institute for Computer-Aided Reasoning in Mathematics's profile picture