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

models 0

None public yet

datasets 0

None public yet