Parno, Bryan

4 publications

ICML 2025 AlphaVerus: Bootstrapping Formally Verified Code Generation Through Self-Improving Translation and Treefinement Pranjal Aggarwal, Bryan Parno, Sean Welleck

ICLRW 2025 AlphaVerus: Bootstrapping Formally Verified Code Generation Through Self-Improving Translation and Treefinement Pranjal Aggarwal, Bryan Parno, Sean Welleck

TMLR 2022 Degradation Attacks on Certifiably Robust Neural Networks Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina Pasareanu

ICLR 2021 Fast Geometric Projections for Local Robustness Certification Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina Pasareanu