Hoskinson Center for Formal Mathematics

university

Request to join this org

AI & ML interests

Formal mathematics

models 2

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

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

hoskinson-center/proofGPT-v0.1

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

datasets 3

hoskinson-center/proof-pile

Viewer • Updated Aug 19, 2023 • 1.28k • 42

hoskinson-center/minif2f-lean4

Viewer • Updated May 3, 2023 • 132 • 10

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 352 • 11