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 2 months ago

Are Emergent Abilities of Large Language Models a Mirage?

brando authored a paper 2 months ago

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

brando authored a paper 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

mafmaticians's activity

brando

authored 3 papers 2 months ago

Are Emergent Abilities of Large Language Models a Mirage?

Paper • 2304.15004 • Published Apr 28, 2023 • 6

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

Paper • 2410.18194 • Published Oct 23, 2024 • 4

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

Paper • 2410.16429 • Published Oct 21, 2024 • 3

brando

authored a paper 7 months ago

Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive?

Paper • 2406.04391 • Published Jun 6, 2024 • 7

jpzhou01

authored a paper over 1 year ago

Unsupervised Out-of-Distribution Detection with Diffusion Inpainting

Paper • 2302.10326 • Published Feb 20, 2023

brando

authored a paper over 1 year ago

Beyond Scale: the Diversity Coefficient as a Data Quality Metric Demonstrates LLMs are Pre-trained on Formally Diverse Data

Paper • 2306.13840 • Published Jun 24, 2023 • 11