open_formal_datasets - a AI4M Collection

Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up

AI4M 's Collections

open_autoformalization_hf_datasets

open_formal_datasets

open_formal_datasets

updated May 17

tasksource/leandojo

Viewer • Updated Jun 28, 2023 • 91.8k • 60 • 5
l3lab/ntp-mathlib-instruct-context

Viewer • Updated Sep 6 • 614k • 68 • 1
l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6 • 307k • 135
l3lab/ntp-mathlib

Viewer • Updated Sep 6 • 213k • 77 • 2

Collection guide
Browse collections

Company

© Hugging Face

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs