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 2 months ago
amitayusht/clever:Add dataset card, link to paper and Github repo
updated a dataset 2 months ago
amitayusht/ProofWalaDataset
liked a dataset 2 months ago
amitayusht/clever
View all activity

Organizations

None yet