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

Recent Activity

jpzhou01 authored a paper 15 days ago

Value-Guided Search for Efficient Chain-of-Thought Reasoning

brando authored a paper 10 months ago

Are Emergent Abilities of Large Language Models a Mirage?

brando authored a paper 10 months ago

ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment

View all activity

models 0

None public yet

datasets 0

None public yet