Hoskinson Center for Formal Mathematics

hoskinson-center's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts

zhangirazerbayev 

authored a paper about 1 year ago

Llemma: An Open Language Model For Mathematics

Paper • 2310.10631 • Published Oct 16, 2023 • 50

zhangirazerbayev 

updated a dataset over 1 year ago

hoskinson-center/proof-pile

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

zhangirazerbayev 

updated 2 models almost 2 years ago

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

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

hoskinson-center/proofGPT-v0.1

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