Brando Miranda's picture

Brando Miranda

brando

·

https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

liked a dataset 29 days ago

amitayusht/clever

liked a dataset about 1 month ago

sunblaze-ucb/verina

liked a model 2 months ago

marin-community/marin-8b-instruct

View all activity

Organizations

upvoted 3 papers 9 months ago

Are Emergent Abilities of Large Language Models a Mirage?

Paper • 2304.15004 • Published Apr 28, 2023 • 6

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

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

Paper • 2410.18194 • Published Oct 23, 2024 • 6

upvoted a paper about 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