MAFmaticians

non-profit

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

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

Activity Feed Request to join this org

AI & ML interests

MAFmaticians - MAF for the 1st AutoMathematician

mafmaticians 's datasets

None public yet