Hoskinson Center for Formal Mathematics

university

Activity Feed Request to join this org

AI & ML interests

Formal mathematics

Recent Activity

zhangirazerbayev authored a paper about 1 year ago

Llemma: An Open Language Model For Mathematics

zhangirazerbayev updated a dataset over 1 year ago

hoskinson-center/proof-pile

zhangirazerbayev updated a model almost 2 years ago

hoskinson-center/proofGPT-v0.1-6.7B

View all activity

models 2

hoskinson-center/proofGPT-v0.1-6.7B

Text Generation • Updated Feb 15, 2023 • 1.24k • 9

hoskinson-center/proofGPT-v0.1

Text Generation • Updated Feb 15, 2023 • 1.25k • 3

datasets 2

hoskinson-center/proof-pile

Viewer • Updated Aug 19, 2023 • 363k • 4.76k • 54

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 156 • 12