Zhangir Azerbayev

zhangirazerbayev

AI & ML interests

reasoning, long contexts

Organizations

EleutherAI's profile picture Hoskinson Center for Formal Mathematics's profile picture open-web-math's profile picture

zhangirazerbayev's activity

New activity in EleutherAI/proof-pile-2 11 months ago

missing training data?

2
#6 opened about 1 year ago by
typeof
New activity in EleutherAI/proof-pile-2 about 1 year ago

Update proof-pile-2.py

#5 opened about 1 year ago by
hails

Fix Dataset Viewer

5
#2 opened about 1 year ago by
lhoestq

Fix Dataset Viewer

5
#2 opened about 1 year ago by
lhoestq

Fix Dataset Viewer

5
#2 opened about 1 year ago by
lhoestq