amitayusht/ProofWalaDataset
Updated
•
26
•
1
Amitayush Thakur
amitayusht
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
Organizations
None yet
Add dataset card, link to paper and Github repo
1
#2 opened 2 months ago
by
nielsr
updated
a
dataset
2 months ago
liked
a
dataset
2 months ago
updated
a
dataset
2 months ago
published
a
dataset
2 months ago
liked
a
dataset
2 months ago
published
a
dataset
2 months ago
liked
a
dataset
2 months ago
updated
3
models
5 months ago
published
3
models
5 months ago
updated
a
dataset
about 1 year ago