Hoskinson Center for Formal Mathematics

hoskinson-center's activity

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

zhangirazerbayev 

authored a paper over 2 years ago

Llemma: An Open Language Model For Mathematics

Paper • 2310.10631 • Published Oct 16, 2023 • 57

zhangirazerbayev 

updated a dataset almost 3 years ago

hoskinson-center/proof-pile

Viewer • Updated Aug 19, 2023 • 363k • 2.32k • 67

zhangirazerbayev 

updated 2 models over 3 years ago

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

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

hoskinson-center/proofGPT-v0.1

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