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

brando authored a paper about 2 months ago

Are Emergent Abilities of Large Language Models a Mirage?

brando authored a paper about 2 months ago

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

brando authored a paper about 2 months ago

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

View all activity

models

None public yet

datasets

None public yet