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, 2024

tasksource/leandojo

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

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

Viewer • Updated Sep 6, 2024 • 307k • 326
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