Hugging Face's logo
Brando Miranda's picture
49 4 69

Brando Miranda

brando
GbrlOl's profile picture muhtasham's profile picture 21world's profile picture
·
https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

liked a dataset 2 days ago
UDACA/minif2f-lean4
liked a dataset 2 days ago
UDACA/proofnet-lean4
updated a dataset 2 days ago
UDACA/proofnet-lean4
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

brando's activity

liked 2 datasets 2 days ago
updated a dataset 2 days ago
published a dataset 2 days ago
updated a dataset 2 days ago
published a dataset 2 days ago
New activity in hoskinson-center/proofnet 2 days ago

lean 4 proof net version?
#2 opened 2 days ago by
brando
liked a model 7 days ago
New activity in internlm/internlm2-math-plus-1_8b 7 days ago

any chat template?
#2 opened 7 days ago by
brando
liked a model 7 days ago
New activity in hoskinson-center/proofnet 8 days ago

Kind request for a prompt for autoformalization evaluations.
#1 opened 8 days ago by
brando
New activity in Putnam-AXIOM/putnam-axiom-dataset 9 days ago

~10% of the problem statements may have flaws (according to Claude Sonnet 3.6 and a tiny bit of manual checking)

4
#2 opened 10 days ago by
ArthurConmy
updated a dataset 10 days ago
liked a model 12 days ago
liked 2 models about 1 month ago
liked a dataset about 2 months ago
liked 3 models about 2 months ago