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.

Recent Activity

new activity about 1 month ago
amitayusht/clever:Add dataset card, link to paper and Github repo
updated a dataset about 1 month ago
amitayusht/ProofWalaDataset
liked a dataset about 1 month ago
amitayusht/clever
View all activity

Organizations

None yet