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

amitayusht 's datasets 3

amitayusht/clever

Viewer • Updated May 22 • 161 • 102 • 5

amitayusht/ProofWalaDataset

Updated May 16 • 445 • 1

amitayusht/PutnamBench

Viewer • Updated Jun 11, 2024 • 522 • 115 • 4