Hugging Face's logo
Brando Miranda's picture
50 4 76

Brando Miranda

brando
muhtasham's profile picture simenyg's profile picture Mr-aio's profile picture
·
https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

updated a dataset 1 day ago
zipfit/leandojo_benchmark_4_random_splits
published a dataset 1 day ago
zipfit/leandojo_benchmark_4_random_splits
updated a dataset 1 day ago
zipfit/leandojo_benchmark_4_corpus
View all activity

Organizations

Stanford AI's profile picture Stanford CRFM's profile picture Data Centric Machine Learning for Math's profile picture MAFmaticians's profile picture byndscl's profile picture The Ultimate Data Centric Alliance's profile picture The AI Alliance for Solving Mathematics for All (AI4M)'s profile picture Putnam-AXIOM & Variations's profile picture ZIP-FIT - Compression-Based Data Selection For Code's profile picture

brando's activity

updated a dataset 1 day ago
published a dataset 1 day ago
updated a dataset 1 day ago
published a dataset 1 day ago
New activity in EleutherAI/proof-pile-2 1 day ago

What version of Lean, is it Lean4?
#15 opened 1 day ago by
brando
updated 2 models 1 day ago
published 2 models 1 day ago
updated a model 1 day ago
published a model 1 day ago
updated a model 1 day ago
published 4 models 1 day ago