arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Alex Gu

48 papers · 2020–2026

2020: 22021: 82022: 42023: 112024: 92025: 82026: 6
2020peak 11 in 20232026

Frequent co-authors

Papers

showing 1–25 of 48 RSS

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Naman Jain, King Han, Alex Gu +7 more

cs.SE · · cited 2,292× · arXiv ↗ · more like this ·

Large Language Models (LLMs) applied to code-related applications have emerged as a prominent field, attracting significant interest from both academia and industry. However, as new and improved LLMs are developed, existing evaluation benchmarks (e.g., HumanEval, MBPP) are no longer sufficient for assessing their capabilities. In this work, we propose LiveCodeBench, a comprehensive and contamination-free evaluation of LLMs for code, which continuously collects new problems over time from contests across three competition platforms, namely LeetCode, AtCoder, and CodeForces. Notably, our benchmark also focuses on a broader range of code related capabilities, such as self-repair, code execution, and test output prediction, beyond just code generation. Currently, LiveCodeBench hosts four hundred high-quality coding problems that were published between May 2023 and May 2024. We have…

StarCoder: may the source be with you!

Raymond Li, Loubna Ben Allal, Yangtian Zi +64 more

cs.CL · · cited 1,336× · arXiv ↗ · more like this ·

The BigCode community, an open-scientific collaboration working on the responsible development of Large Language Models for Code (Code LLMs), introduces StarCoder and StarCoderBase: 15.5B parameter models with 8K context length, infilling capabilities and fast large-batch inference enabled by multi-query attention. StarCoderBase is trained on 1 trillion tokens sourced from The Stack, a large collection of permissively licensed GitHub repositories with inspection tools and an opt-out process. We fine-tuned StarCoderBase on 35B Python tokens, resulting in the creation of StarCoder. We perform the most comprehensive evaluation of Code LLMs to date and show that StarCoderBase outperforms every open Code LLM that supports multiple programming languages and matches or outperforms the OpenAI code-cushman-001 model. Furthermore, StarCoder outperforms every model that is fine-tuned on Python…

StarCoder 2 and The Stack v2: The Next Generation

Anton Lozhkov, Raymond Li, Loubna Ben Allal +63 more

cs.SE · · cited 758× · arXiv ↗ · more like this ·

The BigCode project, an open-scientific collaboration focused on the responsible development of Large Language Models for Code (Code LLMs), introduces StarCoder2. In partnership with Software Heritage (SWH), we build The Stack v2 on top of the digital commons of their source code archive. Alongside the SWH repositories spanning 619 programming languages, we carefully select other high-quality data sources, such as GitHub pull requests, Kaggle notebooks, and code documentation. This results in a training set that is 4x larger than the first StarCoder dataset. We train StarCoder2 models with 3B, 7B, and 15B parameters on 3.3 to 4.3 trillion tokens and thoroughly evaluate them on a comprehensive set of Code LLM benchmarks. We find that our small model, StarCoder2-3B, outperforms other Code LLMs of similar size on most benchmarks, and also outperforms StarCoderBase-15B. Our large model…

BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions

Terry Yue Zhuo, Minh Chien Vu, Jenny Chim +30 more

cs.SE · · cited 701× · arXiv ↗ · more like this ·

Task automation has been greatly empowered by the recent advances in Large Language Models (LLMs) via Python code, where the tasks ranging from software engineering development to general-purpose reasoning. While current benchmarks have shown that LLMs can solve tasks using programs like human developers, the majority of their evaluations are limited to short and self-contained algorithmic tasks or standalone function calls. Solving challenging and practical tasks requires the capability of utilizing diverse function calls as tools to efficiently implement functionalities like data analysis and web development. In addition, using multiple tools to solve a task needs compositional reasoning by accurately understanding complex instructions. Fulfilling both of these characteristics can pose a great challenge for LLMs.To assess how well LLMs can solve challenging and practical tasks via…

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Kaiyu Yang, Aidan M. Swope, Alex Gu +6 more

cs.LG · · cited 600× · arXiv ↗ · more like this ·

Large language models (LLMs) have shown promise in proving formal theorems using proof assistants such as Lean. However, existing methods are difficult to reproduce or build on, due to private code, data, and large compute requirements. This has created substantial barriers to research on machine learning methods for theorem proving. This paper removes these barriers by introducing LeanDojo: an open-source Lean playground consisting of toolkits, data, models, and benchmarks. LeanDojo extracts data from Lean and enables interaction with the proof environment programmatically. It contains fine-grained annotations of premises in proofs, providing valuable data for premise selection: a key bottleneck in theorem proving. Using this data, we develop ReProver (Retrieval-Augmented Prover): an LLM-based prover augmented with retrieval for selecting premises from a vast math library. It is…

The Disagreement Problem in Explainable Machine Learning: A Practitioner's Perspective

Satyapriya Krishna, Tessa Han, Alex Gu +3 more

cs.LG · · cited 303× · arXiv ↗ · more like this ·

As various post hoc explanation methods are increasingly being leveraged to explain complex models in high-stakes settings, it becomes critical to develop a deeper understanding of whether and when the explanations output by these methods disagree with each other, and how such disagreements are resolved in practice. However, there is little to no research that provides answers to these critical questions. In this work, we formalize and study the disagreement problem in explainable machine learning. More specifically, we define the notion of disagreement between explanations, analyze how often such disagreements occur in practice, and how practitioners resolve these disagreements. We first conduct interviews with data scientists to understand what constitutes disagreement between explanations generated by different methods for the same model prediction, and introduce a novel quantitative…

SantaCoder: don't reach for the stars!

Loubna Ben Allal, Raymond Li, Denis Kocetkov +38 more

cs.SE · · cited 255× · arXiv ↗ · more like this ·

The BigCode project is an open-scientific collaboration working on the responsible development of large language models for code. This tech report describes the progress of the collaboration until December 2022, outlining the current state of the Personally Identifiable Information (PII) redaction pipeline, the experiments conducted to de-risk the model architecture, and the experiments investigating better preprocessing methods for the training data. We train 1.1B parameter models on the Java, JavaScript, and Python subsets of The Stack and evaluate them on the MultiPL-E text-to-code benchmark. We find that more aggressive filtering of near-duplicates can further boost performance and, surprisingly, that selecting files from repositories with 5+ GitHub stars deteriorates performance significantly. Our best model outperforms previous open-source multilingual code generation models…

Graduate Medical Education Virtual Interviews and Recruitment in the Era of COVID-19

Simone A. Bernstein, Alex Gu, Katherine C. Chretien +1 more

Gender Studies · Journal of Graduate Medical Education · · cited 51× · DOI ↗ · more like this ·

In May 2020, the Association of American Medical Colleges recommended that medical schools and teaching hospitals interview potential students, residents, and faculty virtually this application cycle due to the COVID-19 pandemic to limit disease transmission and ensure safety.1 This will dramatically change the landscape of how applicants learn about prospective programs and determine fit. To address the impact of these changes and ensure a successful residency application season for students and programs, it will be important for institutions to develop recruitment strategies that leverage technology and social media to approximate the benefits of in-person interviews.When the Department of Anesthesia at Loma Linda University completed a pilot study offering interviews in-person or virtually, reasons for selecting in-person interviews included wanting to interact with current residents…

Effect of Change in USMLE Step 1 Grading on Orthopaedic Surgery Applicants: A Survey of Orthopaedic Surgery Residency Program Directors

Alex Gu, J. F. Farrar, Safa C. Fassihi +6 more

Gender Studies · JAAOS Global Research and Reviews · · cited 31× · DOI ↗ · more like this ·

INTRODUCTION: Recently, the Federation of State Medical Boards and the National Board of Medical Examiners, cosponsors of the United States Medical Licensing Examination (USMLE), changed the USMLE Step 1 results from a three-digit score to a pass/fail format. The purpose of this study was to analyze the opinions of program directors (PDs) to predict how the evaluation of orthopaedic surgery residency applicants will change following the change. METHODS: A 17-question online survey was distributed to PDs via e-mail. This survey covered program demographics, questions regarding the relative importance of various factors for selection of interviews, and perceived changes and effect of the scoring change. Responses were aggregated and analyzed. RESULTS: PDs indicated that the three highest scored factors were (1) failure in prior attempts in USMLE/COMLEX examinations (4.7), (2) audition…

Perceived Impact of USMLE Step 1 Score Reporting to Pass/Fail on Otolaryngology Applicant Selection

Ishwarya S. Mamidi, Alex Gu, Collin F. Mulcahy +2 more

Gender Studies · Annals of Otology Rhinology & Laryngology · · cited 24× · DOI ↗ · more like this ·

OBJECTIVES: Recently, the decision was made to transition the United States Medical Licensing Examination (USMLE) Step 1 score from a three-digit numerical score to a pass/fail system. Historically, Step 1 scores have been important for otolaryngology resident applicant selection. The purpose of this study was to understand and evaluate otolaryngology residency program directors' (OPDs) opinions on the impact following the change in Step 1 score reporting. METHODS: A 22-question survey administered through Qualtrics was sent to 113 academic otolaryngology residency program directors in April 2020. Information about demographics, impressions on the new Step 1 score format, anticipated changes in applicant selection, impact on mental health, and importance of various other factors in selecting applicants were queried. Descriptive statistics were used to analyze survey results. RESULTS: A…

An Analysis of Underrepresented in Medicine Away Rotation Scholarships in Surgical Specialties

Sophie L. Bernstein, Chapman Wei, Alex Gu +2 more

Gender Studies · Journal of Graduate Medical Education · · cited 18× · DOI ↗ · more like this ·

Background: Underrepresented in medicine (UIM) visiting student clerkship scholarships provide an opportunity for supporting diversity. Although these scholarships have become a popular initiative to recruit diverse surgical applicants, they have not been thoroughly analyzed regarding which programs offer scholarships and the characteristics of the scholarships. UIM scholarship opportunity disparities may exist depending on location, funding, reputation, and program size among different specialties. Objective: To describe the characteristics and prevalence of UIM visiting student scholarships by examining institutional and program websites for the surgical specialties. Methods: Using the Accreditation Council for Graduate Medical Education (ACGME) Accreditation Data System for 2021, residency training and diversity websites were identified and evaluated for the availability of UIM…

Analysis of the Perception and Treatment of Osteoarthritis of the Knee Through Social Media: An Observational Study of the Top 100 Viral TikTok Videos

Thomas I Hong, Sophie L. Bernstein, Alejandra Arboleda Ramírez +4 more

Health · Cureus · · cited 16× · DOI ↗ · more like this ·

BACKGROUND: TikTok is a popular platform that can be used for medical insights. However, spreading inaccurate information about diagnosing or treating medical conditions can undermine the quality of patient care. Our assessment focused on the discourse surrounding knee osteoarthritis on TikTok, with two primary objectives: 1) identifying the creators behind osteoarthritis-related content, and 2) examining whether a connection exists between the reach of video content and the strength of recommendations provided. METHODS: The top 100 TikTok videos were chosen based on likes on March 29, 2023. Posts were identified using the hashtag ("#Osteoarthritis"). Videos were classified by the following: number of likes, comments, shares, date of upload, uploader (medical professional, non-medical professional, or business), and video content (medical treatment, home remedy, personal story).…

Do Orthopedic Surgery Residency Program Web Sites Address Diversity and Inclusion?

Ryan Mortman, Alex Gu, Peter Z. Berger +6 more

Gender Studies · HSS Journal® The Musculoskeletal Journal of Hospital for Special Surgery · · cited 14× · DOI ↗ · more like this ·

Background: Orthopedic surgery is one of the least diverse medical specialties. Other medical specialties have employed diversity-related initiatives to increase the number of students underrepresented in medicine (URM). Furthermore, with the suspension of visiting student rotations during the COVID-19 pandemic, medical students used residency program Web sites as a main source of program-specific information. Aims/Purpose: The purpose of this study was to measure the extent to which orthopedic surgery residency program Web sites describe diversity and inclusion initiatives. Methods: The Electronic Residency Application Service (ERAS) was used to identify U.S. orthopedic surgery residency programs. The programs' Web sites were reviewed, and data on commitments to diversity and inclusion were collected. Descriptive statistics of these data were generated. Results: There were 192…

Orthopedic Surgery Residency Program Website Content and Accessibility During the COVID-19 Pandemic: Observational Study

Muhammad El Shatanofy, Lauryn Brown, Peter Z. Berger +4 more

Gender Studies · JMIR Medical Education · · cited 14× · DOI ↗ · more like this ·

BACKGROUND: The exceptional competitiveness of the orthopedic surgery specialty, combined with the unclear impact of the COVID-19 pandemic on residency recruitment, has presented significant challenges to applicants and residency program directors. With limited in-person opportunities in the 2020-2021 application cycle, applicants have been pressed to gauge chances and best fit by browsing program websites. OBJECTIVE: The aim of the study was to assess the accessibility and content of accredited orthopedic surgery residency program websites during the COVID-19 pandemic. METHODS: Using the online database of the Electronic Residency Application Service (ERAS), we compiled a list of accredited orthopedic surgery residency programs in the United States. Program websites were evaluated across four domains: program overview, education, research opportunities, and application details. Each…

Challenges and Paths Towards AI for Software Engineering

Alex Gu, Naman Jain, Wen-Ding Li +7 more

cs.SE · · cited 6× · arXiv ↗ · more like this ·

AI for software engineering has made remarkable progress recently, becoming a notable success within generative AI. Despite this, there are still many challenges that need to be addressed before automated software engineering reaches its full potential. It should be possible to reach high levels of automation where humans can focus on the critical decisions of what to build and how to balance difficult tradeoffs while most routine development effort is automated away. Reaching this level of automation will require substantial research and engineering efforts across academia and industry. In this paper, we aim to discuss progress towards this in a threefold manner. First, we provide a structured taxonomy of concrete tasks in AI for software engineering, emphasizing the many other tasks in software engineering beyond code generation and completion. Second, we outline several key…

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Alex Gu, Baptiste Rozière, Hugh Leather +3 more

cs.SE · · cited 5× · arXiv ↗ · more like this ·

We present CRUXEval (Code Reasoning, Understanding, and eXecution Evaluation), a benchmark consisting of 800 Python functions (3-13 lines). Each function comes with an input-output pair, leading to two natural tasks: input prediction and output prediction. First, we propose a generic recipe for generating our execution benchmark which can be used to create future variation of the benchmark. Second, we evaluate twenty code models on our benchmark and discover that many recent high-scoring models on HumanEval do not show the same improvements on our benchmark. Third, we show that simple CoT and fine-tuning schemes can improve performance on our benchmark but remain far from solving it. The best setup, GPT-4 with chain of thought (CoT), achieves a pass@1 of 75% and 81% on input and output prediction, respectively. In contrast, Code Llama 34B achieves a pass@1 of 50% and 46% on input and…

Assessing the Accessibility of Content for Geriatric Fellowship Programs

Camilla M. Maybee, Nam Tran Nguyen, Melissa Chan +6 more

Gender Studies · Journal of the American Geriatrics Society · · cited 5× · DOI ↗ · more like this ·

The information available on program websites concerning geriatric fellowships in internal medicine and family medicine is a crucial factor in generating applicants' interest in individual programs. Our study aimed to quantify the accessibility and quality of information available on accredited geriatric (family medicine and internal medicine) fellowship program websites and further analyze the implications of the results obtained. A list of geriatric (family medicine and internal medicine) fellowship programs was analyzed through quantified measures after being verified for accreditation. Certain criteria were evaluated for each of these programs, such as website accessibility and whether critical information was available on online program websites. These criteria were centered on academic, administrative, and application-based factors. Hundred and fifty eight Family Medicine and…

Improving Transparency in the Residency Application Process: Survey Study

Lindsey Ulin, Simone A. Bernstein, Julio C. Nunes +4 more

Gender Studies · JMIR Formative Research · · cited 3× · DOI ↗ · more like this ·

BACKGROUND: Increasing numbers of residency applications create challenges for applicants and residency programs to assess if they are a good fit during the residency application and match process. Applicants face limited or conflicting information as they assess programs, leading to overapplying. A holistic review of residency applications is considered a gold standard for programs, but the current volumes and associated time constraints leave programs relying on numerical filters, which do not predict success in residency. Applicants could benefit from increased transparency in the residency application process. OBJECTIVE: This study aims to determine the information applicants find most beneficial from residency programs when deciding where to apply, by type of medical school education background. METHODS: Match 2023 applicants voluntarily completed an anonymous survey through the…

Evaluating psychiatry residency program website content

Simone A. Bernstein, Nisha R. Bhat, Tara G. Harmon +4 more

Health · International Journal of Mental Health · · cited 3× · DOI ↗ · more like this ·

Objective When psychiatry residency applicants apply for residency, many use program websites to learn information about the program. In this study, the content of websites was evaluated for comprehensiveness.Method Using the Accreditation Council for Graduate Medical Education (ACGME) list of residency programs for 2020, 255 residency training websites were identified and evaluated. The categories analyzed included program overview, application information and recruitment, and educational opportunities. The program websites were all evaluated via descriptive statistics.Results Analysis of the content on the websites found that a majority included a general overview of the program (99.2%), but fewer included a rotation schedule (43.9%), the number of trainee positions (42.0%), a diversity and inclusion statement (39.2%), and the employers of past residents (21.2%).Conclusion Psychiatry…

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?

Alex Gu, Wen-Ding Li, Naman Jain +4 more

cs.SE · · cited 2× · arXiv ↗ · more like this ·

While language models are increasingly more proficient at code generation, they still frequently generate incorrect programs. Many of these programs are obviously wrong, but others are more subtle and pass weaker correctness checks such as being able to compile. In this work, we focus on these counterfeit samples: programs sampled from a language model that 1) have a high enough log-probability to be generated at a moderate temperature and 2) pass weak correctness checks. Overall, we discover that most models have a very shallow understanding of counterfeits through three clear failure modes. First, models mistakenly classify them as correct. Second, models are worse at reasoning about the execution behaviour of counterfeits and often predict their execution results as if they were correct. Third, when asking models to fix counterfeits, the likelihood of a model successfully repairing a…

ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications

Alex Gu, Tamara Mitrovska, Daniela Velez +2 more

cs.SE · · cited 2× · arXiv ↗ · more like this ·

We introduce ObSynth, an interactive system leveraging the domain knowledge embedded in large language models (LLMs) to help users design object models from high level natural language prompts. This is an example of specification reification, the process of taking a high-level, potentially vague specification and reifying it into a more concrete form. We evaluate ObSynth via a user study, leading to three key findings: first, object models designed using ObSynth are more detailed, showing that it often synthesizes fields users might have otherwise omitted. Second, a majority of objects, methods, and fields generated by ObSynth are kept by the user in the final object model, highlighting the quality of generated components. Third, ObSynth altered the workflow of participants: they focus on checking that synthesized components were correct rather than generating them from scratch, though…

Min-Max Bilevel Multi-objective Optimization with Applications in Machine Learning

Alex Gu, Songtao Lu, Parikshit Ram +1 more

cs.LG · · cited 2× · arXiv ↗ · more like this ·

We consider a generic min-max multi-objective bilevel optimization problem with applications in robust machine learning such as representation learning and hyperparameter optimization. We design MORBiT, a novel single-loop gradient descent-ascent bilevel optimization algorithm, to solve the generic problem and present a novel analysis showing that MORBiT converges to the first-order stationary point at a rate of $\widetilde{\mathcal{O}}(n^{1/2} K^{-2/5})$ for a class of weakly convex problems with $n$ objectives upon $K$ iterations of the algorithm. Our analysis utilizes novel results to handle the non-smooth min-max multi-objective setup and to obtain a sublinear dependence in the number of objectives $n$. Experimental results on robust representation learning and robust hyperparameter optimization showcase (i) the advantages of considering the min-max multi-objective setup, and (ii)…

GETgene-AI: A Framework for Prioritizing Actionable Cancer Drug Targets

Alex Gu, Jake Y. Chen

Computational Theory and Mathematics · bioRxiv (Cold Spring Harbor Laboratory) · · cited 1× · DOI ↗ · more like this ·

ABSTRACT Prioritizing actionable drug targets is a critical challenge in cancer research, where high-dimensional genomic data and the complexity of tumor biology often hinder effective prioritization. To address this, we developed GETgene-AI , a novel computational framework that integrates network-based prioritization, machine learning, and automated literature analysis to prioritize and rank potential therapeutic targets. Central to GETgene-AI is the G.E.T. strategy , which combines three data streams: mutational frequency (G List), differential expression (E List), and known drug targets (T List). These components are iteratively refined and ranked using the Biological Entity Expansion and Ranking Engine (BEERE) , leveraging protein-protein interaction networks, functional annotations, and experimental evidence. Additionally, GETgene-AI incorporates GPT-4o, an advanced large language…

Opportunities for Increasing Diversity in Orthopaedics Through Virtual Mentorship Programs

Ambika E. Paulson, Alex Gu, Christopher J. Dy +2 more

Gender Studies · Journal of the American Academy of Orthopaedic Surgeons · · cited 1× · DOI ↗ · more like this ·

Orthopaedic surgery lags in recruiting women and under-represented minorities (URMs). In addition, women and URMs hold fewer leadership roles across orthopaedic subspecialties. This inequity is geographically heterogeneous, with female URM residents and attendings being more concentrated in some areas of the country. For instance, practicing female orthopaedic surgeons are more prevalent in Northeast and Pacific programs. Mentorship and representation in leadership positions play a notable role in trainee recruitment. Video communication platforms offer a novel mechanism to reach historically under-represented students across the country. We reviewed five established mentorship programs focused on women and URMs. Each program emphasized a longitudinal relationship between mentors and mentees. In reviewing these programs, we sought to identify the successful components of each program.…

Reproducibility Report: La-MAML: Look-ahead Meta Learning for Continual Learning

Joel Joseph, Alex Gu

cs.LG · · cited 1× · arXiv ↗ · more like this ·

The Continual Learning (CL) problem involves performing well on a sequence of tasks under limited compute. Current algorithms in the domain are either slow, offline or sensitive to hyper-parameters. La-MAML, an optimization-based meta-learning algorithm claims to be better than other replay-based, prior-based and meta-learning based approaches. According to the MER paper [1], metrics to measure performance in the continual learning arena are Retained Accuracy (RA) and Backward Transfer-Interference (BTI). La-MAML claims to perform better in these values when compared to the SOTA in the domain. This is the main claim of the paper, which we shall be verifying in this report.