Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

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

Brando Miranda's profile picture Jin Zhou's profile picture Peter Holderrieth's profile picture

jpzhou01 
authored a paper 5 months ago

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

Paper • 2505.17373 • Published May 23, 2025 • 5
brando 
authored 3 papers about 1 year ago

Are Emergent Abilities of Large Language Models a Mirage?

Paper • 2304.15004 • Published Apr 28, 2023 • 8

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

Paper • 2410.18194 • Published Oct 23, 2024 • 5

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 • 5
brando 
authored a paper over 1 year ago

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

Paper • 2406.04391 • Published Jun 6, 2024 • 8
jpzhou01 
authored a paper over 2 years ago

Unsupervised Out-of-Distribution Detection with Diffusion Inpainting

Paper • 2302.10326 • Published Feb 20, 2023
brando 
authored a paper over 2 years 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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs