casey-martin/multilingual-mathematical-autoformalization download history

casey-martin/multilingual-mathematical-autoformalization is a translation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 126 times (18 in the last 7 days), and 4,957 times in total. It ranks #96,300 among datasets by monthly downloads.

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 mathem

Open casey-martin/multilingual-mathematical-autoformalization on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.