agatha-duzan/advanced_algebra_af download history
agatha-duzan/advanced_algebra_af is a translation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 10 times (0 in the last 7 days), and 347 times in total. It ranks #569,006 among datasets by monthly downloads.
Abstract Algebra Autoformalization Dataset Dataset Summary This dataset consists of abstract algebra 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 abst