MAFmaticians

non-profit

https://github.com/brando90/massive-autoformalization-maf/

https://github.com/brando90/massive-autoformalization-maf/

Request to join this org

AI & ML interests

MAFmaticians - MAF for the 1st AutoMathematician

models

None public yet

datasets

None public yet