open_formal_datasets - a AI4M Collection

Models
Datasets
Spaces
Docs
Enterprise
Pricing

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 • 48 • 6
l3lab/ntp-mathlib-instruct-context

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

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

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

Collection guide
Browse collections

Company

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs