Hoskinson Center for Formal Mathematics

hoskinson-center's activity

• All
• Models
• Datasets
• Spaces
• 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 over 2 years ago

hoskinson-center/proof-pile

Viewer • Updated Aug 19, 2023 • 363k • 1.56k • 63

zhangirazerbayev 

updated 2 models about 3 years ago

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

Text Generation • Updated Feb 15, 2023 • 853 • 10

hoskinson-center/proofGPT-v0.1

Text Generation • Updated Feb 15, 2023 • 848 • 3