Brando Miranda

Brando Miranda on Hugging Face Daily Papers: 4 papers, 0 in the top 3 of their day, 27 upvotes.

1. Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4 3 upvotes, #28 of 2024-10-25
2. ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment 4 upvotes, #26 of 2024-10-25
3. Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive? 5 upvotes, #8 of 2024-06-10
4. Beyond Scale: the Diversity Coefficient as a Data Quality Metric Demonstrates LLMs are Pre-trained on Formally Diverse Data 12 upvotes, #6 of 2023-06-27

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.