AgenticCommons/formal-math-autoformalization

Name: AgenticCommons/formal-math-autoformalization
Creator: AgenticCommons
License: cc0-1.0
Keywords: dataset, text-generation, text, datasets, dataset, huggingface-import, external-catalog, dataset, cc0-1.0, task_categories:text-generation, language:en, license:cc0-1.0, size_categories:n<1k, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, lean4, mathlib, autoformalization

AgenticCommons/formal-math-autoformalization: Dataset from Hugging Face: AgenticCommons/formal-math-autoformalization License: cc0-1.0. external Hugging Face metadata. Scan: pending.

License: cc0-1.0
Scan status: pending
Hosting status: external
Upstream: AgenticCommons/formal-math-autoformalization

Open interactive artifact page