


default search action
Brando Miranda
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [i19]Krrish Chawla, Aryan Sahai, Mario DePavia, Sudharsan Sundar, Brando Miranda:
Quantifying the Importance of Data Alignment in Downstream Model Performance. CoRR abs/2501.08496 (2025) - [i18]Kavita Selva, Satita Vittayaareekul, Brando Miranda:
Exploring the Efficacy of Meta-Learning: Unveiling Superior Data Diversity Utilization of MAML Over Pre-training. CoRR abs/2501.08506 (2025) - 2024
- [c3]Krrish Chawla, Mario DePavia, Aryan Sahai, Brando Miranda:
A Systematic Study of the Role of Data Quality and Alignment for Fine-tuning LLMs for Enhanced Autoformalization. Tiny Papers @ ICLR 2024 - [c2]Jasdeep Sidhu, Shubhra Mishra, Aryan Gulati, Devanshu Ladsaria, Brando Miranda:
An Evaluation Benchmark for Autoformalization in Lean4. Tiny Papers @ ICLR 2024 - [i17]Rylan Schaeffer, Hailey Schoelkopf, Brando Miranda, Gabriel Mukobi, Varun Madan, Adam Ibrahim, Herbie Bradley, Stella Biderman, Sanmi Koyejo:
Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive? CoRR abs/2406.04391 (2024) - [i16]Aryan Gulati, Devanshu Ladsaria, Shubhra Mishra, Jasdeep Sidhu, Brando Miranda:
An Evaluation Benchmark for Autoformalization in Lean4. CoRR abs/2406.06555 (2024) - [i15]Rylan Schaeffer, Dan Valentine, Luke Bailey, James Chua, Cristóbal Eyzaguirre, Zane Durante, Joe Benton, Brando Miranda, Henry Sleight, John Hughes, Rajashree Agrawal, Mrinank Sharma, Scott Emmons, Sanmi Koyejo, Ethan Perez:
When Do Universal Image Jailbreaks Transfer Between Vision-Language Models? CoRR abs/2407.15211 (2024) - [i14]Leni Aniva, Chuyue Sun, Brando Miranda, Clark W. Barrett, Sanmi Koyejo:
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4. CoRR abs/2410.16429 (2024) - [i13]Elyas Obbad, Iddah Mlauzi, Brando Miranda, Rylan Schaeffer, Kamal Obbad, Suhana Bedi, Sanmi Koyejo:
ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment. CoRR abs/2410.18194 (2024) - 2023
- [c1]Rylan Schaeffer, Brando Miranda, Sanmi Koyejo:
Are Emergent Abilities of Large Language Models a Mirage? NeurIPS 2023 - [i12]Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager:
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code. CoRR abs/2304.10500 (2023) - [i11]Rylan Schaeffer, Brando Miranda, Sanmi Koyejo:
Are Emergent Abilities of Large Language Models a Mirage? CoRR abs/2304.15004 (2023) - [i10]Alycia Lee, Brando Miranda, Sanmi Koyejo:
Beyond Scale: the Diversity Coefficient as a Data Quality Metric Demonstrates LLMs are Pre-trained on Formally Diverse Data. CoRR abs/2306.13840 (2023) - [i9]Brando Miranda, Patrick Yu, Saumya Goyal, Yu-Xiong Wang, Sanmi Koyejo:
Is Pre-training Truly Better Than Meta-Learning? CoRR abs/2306.13841 (2023) - 2022
- [i8]Brando Miranda, Patrick Yu, Yu-Xiong Wang, Sanmi Koyejo:
The Curse of Low Task Diversity: On the Failure of Transfer Learning to Outperform MAML and Their Empirical Equivalence. CoRR abs/2208.01545 (2022) - 2021
- [i7]Brando Miranda, Yu-Xiong Wang, Sanmi Koyejo:
Does MAML Only Work via Feature Re-use? A Data Centric Perspective. CoRR abs/2112.13137 (2021)
2010 – 2019
- 2019
- [i6]Andrzej Banburski, Qianli Liao, Brando Miranda, Lorenzo Rosasco, Bob Liang, Jack Hidary, Tomaso A. Poggio:
Theory III: Dynamics and Generalization in Deep Networks. CoRR abs/1903.04991 (2019) - 2018
- [i5]Tomaso A. Poggio, Kenji Kawaguchi, Qianli Liao, Brando Miranda, Lorenzo Rosasco, Xavier Boix, Jack Hidary, Hrushikesh N. Mhaskar:
Theory of Deep Learning III: explaining the non-overfitting puzzle. CoRR abs/1801.00173 (2018) - [i4]Chiyuan Zhang, Qianli Liao, Alexander Rakhlin, Brando Miranda, Noah Golowich, Tomaso A. Poggio:
Theory of Deep Learning IIb: Optimization Properties of SGD. CoRR abs/1801.02254 (2018) - [i3]Tomaso A. Poggio, Qianli Liao, Brando Miranda, Andrzej Banburski, Xavier Boix, Jack Hidary:
Theory IIIb: Generalization in Deep Networks. CoRR abs/1806.11379 (2018) - [i2]Qianli Liao, Brando Miranda, Andrzej Banburski, Jack Hidary, Tomaso A. Poggio:
A Surprising Linear Relationship Predicts Test Performance in Deep Networks. CoRR abs/1807.09659 (2018) - 2017
- [j1]Tomaso A. Poggio
, Hrushikesh N. Mhaskar, Lorenzo Rosasco, Brando Miranda, Qianli Liao:
Why and when can deep-but not shallow-networks avoid the curse of dimensionality: A review. Int. J. Autom. Comput. 14(5): 503-519 (2017) - 2016
- [i1]Tomaso A. Poggio, Hrushikesh N. Mhaskar, Lorenzo Rosasco, Brando Miranda, Qianli Liao:
Why and When Can Deep - but Not Shallow - Networks Avoid the Curse of Dimensionality: a Review. CoRR abs/1611.00740 (2016)
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-24 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint