Hugging Face's logo
Brando Miranda's picture
64 7 88

Brando Miranda

brando
muhtasham's profile picture roseking's profile picture ArshakParsa's profile picture
ยท
https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

new activity about 2 months ago
StanfordLeanClub/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations
new activity about 2 months ago
StanfordLeanClub/c-py-dataset:Add dataset README
new activity about 2 months ago
StanfordLeanClub/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations
View all activity

Organizations

Stanford AI's profile picture University of Illinois at Urbana-Champaign'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 Self-Optimizing Synthetic Data for Verified Code's profile picture