Three Operator Splitting with Subgradients, Stochastic Gradients, and Adaptive Learning Rates. - Alp Yurtsever; Alex Gu; Suvrit Sra (NeurIPS, 2021)

Reproducibility Report: La-MAML: Look-ahead Meta Learning for Continual Learning. - Joel Joseph; Alex Gu (CoRR, 2021)

The Disagreement Problem in Explainable Machine Learning: A Practitioner's Perspective. - Satyapriya Krishna; Tessa Han; Alex Gu; Javin Pombra; Shahin Jabbari; Steven Wu 001; Himabindu Lakkaraju (CoRR, 2022)

Min-Max Bilevel Multi-objective Optimization with Applications in Machine Learning. - Alex Gu; Songtao Lu; Parikshit Ram; Lily Weng (CoRR, 2022)

ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications. - Alex Gu; Tamara Mitrovska; Daniela Velez; Jacob Andreas; Armando Solar-Lezama (CoRR, 2022)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. - Theo Olausson; Alex Gu; Benjamin Lipkin; Cedegao E. Zhang; Armando Solar-Lezama; Joshua B. Tenenbaum; Roger Levy (EMNLP, 2023)

Min-Max Multi-objective Bilevel Optimization with Applications in Robust Machine Learning. - Alex Gu; Songtao Lu; Parikshit Ram; Tsui-Wei Weng (ICLR, 2023)

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. - Kaiyu Yang; Aidan M. Swope; Alex Gu; Rahul Chalamala; Peiyang Song 002; Shixing Yu; Saad Godil; Ryan J. Prenger; Animashree Anandkumar (NeurIPS, 2023)

SantaCoder: don't reach for the stars! - Loubna Ben Allal; Raymond Li; Denis Kocetkov; Chenghao Mou; Christopher Akiki; Carlos Muñoz Ferrandis; Niklas Muennighoff; Mayank Mishra; Alex Gu; Manan Dey; Logesh Kumar Umapathi; Carolyn Jane Anderson; et al. (CoRR, 2023)

Certified Interpretability Robustness for Class Activation Mapping. - Alex Gu; Tsui-Wei Weng; Pin-Yu Chen; Sijia Liu 001; Luca Daniel (CoRR, 2023)

StarCoder: may the source be with you! - Raymond Li; Loubna Ben Allal; Yangtian Zi; Niklas Muennighoff; Denis Kocetkov; Chenghao Mou; Marc Marone; Christopher Akiki; Jia Li 015; Jenny Chim; Qian Liu 012; Evgenii Zheltonozhskii; et al. (Trans. Mach. Learn. Res., 2023)

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? - Alex Gu; Wen-Ding Li; Naman Jain; Theo Olausson; Celine Lee; Koushik Sen; Armando Solar-Lezama (ACL (Findings), 2024)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. - Alex Gu; Baptiste Rozière; Hugh James Leather; Armando Solar-Lezama; Gabriel Synnaeve; Sida Wang 001 (ICML, 2024)

Language Agnostic Code Embeddings. - Saiteja Utpala; Alex Gu; Pin-Yu Chen (NAACL-HLT, 2024)

StarCoder 2 and The Stack v2: The Next Generation. - Anton Lozhkov; Raymond Li; Loubna Ben Allal; Federico Cassano; Joel Lamy-Poirier; Nouamane Tazi; Ao Tang; Dmytro Pykhtar; Jiawei Liu 004; Yuxiang Wei 003; Tianyang Liu 003; Max Tian; et al. (CoRR, 2024)

BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions. - Terry Yue Zhuo; Minh Chien Vu; Jenny Chim; Han Hu; Wenhao Yu 002; Ratnadira Widyasari; Imam Nur Bani Yusuf; Haolan Zhan; Junda He; Indraneil Paul; Simon Brunner; Chen Gong 005; et al. (CoRR, 2024)

The Disagreement Problem in Explainable Machine Learning: A Practitioner's Perspective. - Satyapriya Krishna; Tessa Han; Alex Gu; Steven Wu 001; Shahin Jabbari; Himabindu Lakkaraju (Trans. Mach. Learn. Res., 2024)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. - Naman Jain; King Han; Alex Gu; Wen-Ding Li; Fanjia Yan; Tianjun Zhang; Sida Wang 001; Armando Solar-Lezama; Koushik Sen; Ion Stoica (ICLR, 2025)

Mixture of Parrots: Experts improve memorization more than reasoning. - Samy Jelassi; Clara Mohri; David Brandfonbrener; Alex Gu; Nikhil Vyas 001; Nikhil Anand; David Alvarez-Melis; Yuanzhi Li; Sham M. Kakade; Eran Malach (ICLR, 2025)

Challenges and Paths Towards AI for Software Engineering. - Alex Gu; Naman Jain; Wen-Ding Li; Manish Shetty; Yijia Shao; Ziyang Li; Diyi Yang; Kevin Ellis; Koushik Sen; Armando Solar-Lezama (CoRR, 2025)

Solving Inequality Proofs with Large Language Models. - Jiayi Sheng; Luna Lyu; Jikai Jin; Tony Xia; Alex Gu; James Zou; Pan Lu (CoRR, 2025)