Hoskinson Center for Formal Mathematics

hoskinson-center's activity

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

zhangirazerbayev 

authored a paper over 1 year ago

Llemma: An Open Language Model For Mathematics

Paper • 2310.10631 • Published Oct 16, 2023 • 53

zhangirazerbayev 

updated a dataset over 1 year ago

hoskinson-center/proof-pile

Viewer • Updated Aug 19, 2023 • 363k • 26.8k • 58

zhangirazerbayev 

updated 2 models about 2 years ago

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

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

hoskinson-center/proofGPT-v0.1

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