open_formal_datasets - a AI4M Collection

Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

AI4M 's Collections

open_autoformalization_hf_datasets

open_formal_datasets

open_formal_datasets

updated May 17, 2024

tasksource/leandojo

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

Viewer • Updated Sep 6, 2024 • 614k • 67 • 1
l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 82
l3lab/ntp-mathlib

Viewer • Updated Sep 6, 2024 • 213k • 76 • 2

Collection guide
Browse collections

Company

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs