Hugging Face's logo
Amitayush Thakur's picture
1 3

Amitayush Thakur

amitayusht
https://amit9oct.github.io/aboutme/

AI & ML interests

Automated reasoning for Math and program synthesis.

Organizations

None yet