Brando Miranda (@brandohablando) 's Twitter Profile
Brando Miranda

@brandohablando

CS Ph.D. @Stanford, researching data quality, foundation models, and ML for Theorem Proving. Prev: @MIT, @MIT_CBMM, @IllinoisCS, @IBM. Opinions are mine. 🇲🇽

ID: 1253358235

linkhttps://brando90.github.io/brandomiranda/publications.html calendar_today09-03-2013 04:01:37

1,1K Tweet

963 Followers

736 Following

Brando Miranda (@brandohablando) 's Twitter Profile Photo
Brando Miranda
@brandohablando

23 days ago

🚨 Can your LLM really do math—or is it cramming the test set? 📢 Meet Putnam-AXIOM, a advanced mathematics contamination-resilient benchmark that finally hurts FMs. 1. openreview.net/forum?id=kqj2C… 2. icml.cc/virtual/2025/p… #ICML2025 East Exhibition Hall A-B, #E-2502 🧵1/14

🚨 Can your LLM really do math—or is it cramming the test set? 📢 Meet Putnam-AXIOM, a advanced mathematics contamination-resilient benchmark that finally hurts FMs. 1. openreview.net/forum?id=kqj2C… 2. icml.cc/virtual/2025/p… #ICML2025 East Exhibition Hall A-B, #E-2502 🧵1/14