vix.ing · top · new · best · stats · spec

Miranda, Brando

  1. Are Emergent Abilities of Large Language Models a Mirage?
    2023/04/28 by Rylan Schaeffer, Schaeffer, Rylan, Brando Miranda +3 · 20 voices · 78 citations
    Computer Science · #Explainable Artificial Intelligence (XAI) #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.LG
  2. Why and When Can Deep -- but Not Shallow -- Networks Avoid the Curse of Dimensionality: a Review
    2016/11/02 by Poggio, Tomaso, Mhaskar, Hrushikesh, Rosasco, Lorenzo +2 · 16 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG)
  3. Position: Machine Learning Conferences Should Establish a "Refutations and Critiques" Track
    2025/06/24 by Rylan Schaeffer, Joshua Kazdan, Schaeffer, Rylan +25 · 2 voices · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.CL #cs.CY #cs.LG
  4. Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive?
    2024/06/06 by Rylan Schaeffer, Hailey Schoelkopf, Schaeffer, Rylan +15 · 13 citations
    Computer Science · #Explainable Artificial Intelligence (XAI)
  5. Theory of Deep Learning III: explaining the non-overfitting puzzle
    2017/12/30 by Tomaso Poggio, Poggio, Tomaso, Kenji Kawaguchi +13 · 9 citations
    Computer Science · Engineering · #Stochastic Gradient Optimization Techniques #Sparse and Compressive Sensing Techniques #Gaussian Processes and Bayesian Inference
  6. Failures to Find Transferable Image Jailbreaks Between Vision-Language Models
    2024/07/21 by Rylan Schaeffer, Schaeffer, Rylan, Dan Valentine +27 · 9 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #Digital Media Forensic Detection #FOS: Computer and information sciences #Machine Learning (cs.LG)
  7. Beyond Scale: The Diversity Coefficient as a Data Quality Metric for Variability in Natural Language Data
    2023/06/24 by Brando Miranda, Miranda, Brando, A. Lee +7 · 6 citations
    Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Data Quality and Management #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Neural and Evolutionary Computing (cs.NE) #Topic Modeling
  8. A Surprising Linear Relationship Predicts Test Performance in Deep Networks
    2018/07/25 by Qianli Liao, Liao, Qianli, Brando Miranda +7 · 4 citations
    Computer Science · Materials Science · #Domain Adaptation and Few-Shot Learning #Adversarial Robustness in Machine Learning #Machine Learning in Materials Science
  9. Is Pre-training Truly Better Than Meta-Learning?
    2023/06/24 by Brando Miranda, Patrick Yu, Miranda, Brando +7 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Machine Learning in Healthcare
  10. An Evaluation Benchmark for Autoformalization in Lean4
    2024/06/01 by Gulati, Aryan, Ladsaria, Devanshu, Mishra, Shubhra +2 · 2 citations
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)
  11. Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
    2024/10/21 by Aniva, Leni, Sun, Chuyue, Miranda, Brando +2 · 2 citations
    #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.2.3 #I.2.7 #Logic (math.LO) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  12. Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
    2025/02/18 by Chan, Willy, Michael Souliman, Souliman, Michael +8 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL)
  13. Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
    2025/08/05 by Gulati, Aryan, Miranda, Brando, Chen, Eric +5 · 5 citations
    #68Q32 #68T05 #68T20 #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #F.2.2 #FOS: Computer and information sciences #I.2.3 #I.2.6 #I.2.8 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE)
  14. Quantifying the Importance of Data Alignment in Downstream Model Performance
    2025/01/14 by Chawla, Krrish, Sahai, Aryan, DePavia, Mario +4 · 1 citation
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)