Brando Miranda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESORICS | Prompt Infection: LLM-to-LLM Prompt Injection within Multi-agent Systems. | Donghyun Lee, Mo Tiwari, Brando Miranda |
| 2025 | ICLR | Failures to Find Transferable Image Jailbreaks Between Vision-Language Models. | Rylan Schaeffer, Dan Valentine, Luke Bailey, James Chua, Cristbal Eyzaguirre, Zane Durante, Joe Benton, Brando Miranda, Henry Sleight, Tony Tong Wang, John Hughes, Rajashree Agrawal, Mrinank Sharma, Scott Emmons, Sanmi Koyejo, Ethan Perez |
| 2025 | ICML | Putnam-AXIOM: A Functional & Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs. | Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno de Moraes Dumont, Sanmi Koyejo |
| 2025 | ICML | Why Has Predicting Downstream Capabilities of Frontier AI Models with Scale Remained Elusive? | Rylan Schaeffer, Hailey Schoelkopf, Brando Miranda, Gabriel Mukobi, Varun Madan, Adam Ibrahim, Herbie Bradley, Stella Biderman, Sanmi Koyejo |
| 2025 | TACAS | Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4. | Leni Aniva, Chuyue Sun, Brando Miranda, Clark W. Barrett, Sanmi Koyejo |
| 2024 | ICLR | A Systematic Study of the Role of Data Quality and Alignment for Fine-tuning LLMs for Enhanced Autoformalization. | Krrish Chawla, Mario DePavia, Aryan Sahai, Brando Miranda |
| 2024 | ICLR | An Evaluation Benchmark for Autoformalization in Lean4. | Jasdeep Sidhu, Shubhra Mishra, Aryan Gulati, Devanshu Ladsaria, Brando Miranda |