agatha-duzan/number_theory_af download history
agatha-duzan/number_theory_af is a translation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 370 times (2 in the last 7 days), and 1,838 times in total. It ranks #41,774 among datasets by monthly downloads.
Number Theory Autoformalization Dataset Dataset Summary This dataset consists of number theory problems, with informal (natural language) statements and the corresponding formal statements written in Lean 4. It is designed for autoformalization tasks in the domain of number the