Hoskinson Center for Formal Mathematics

university

Activity Feed Request to join this org

AI & ML interests

Formal mathematics

hoskinson-center 's datasets 2

hoskinson-center/proof-pile

Viewer • Updated Aug 19, 2023 • 363k • 973 • 61

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 260 • 16