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 over 1 year ago

missing training data?

1
2
#6 opened over 1 year ago by
typeof

Update proof-pile-2.py

#5 opened over 1 year ago by
hails

Fix Dataset Viewer

5
#2 opened over 1 year ago by
lhoestq

Fix Dataset Viewer

5
#2 opened over 1 year ago by
lhoestq

Fix Dataset Viewer

5
#2 opened over 1 year ago by
lhoestq