multilingual-mathematical-autoformalization

Multilingual Mathematical Autoformalization “Paper” This repository contains parallel mathematical statements: Input: An informal proof in natural language Output: The corresponding formalization in either Lean or Isabelle This dataset can be used to train models how to formalize mathematical statements into verifiable proofs, a form of machine translation. Abstract Autoformalization is the task of translating natural language materials into machine-verifiable… See the full description on the dataset page:

Source: Hugging Face Hub (casey-martin/multilingual-mathematical-autoformalization). Metadata imported from the dataset’s Hub tags.