SOTAVerified

Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code

2023-12-22Code Available0· sign in to hype

Shahin Honarvar, Mark van der Wilk, Alastair Donaldson

Code Available — Be the first to reproduce this paper.

Reproduce

Code

Abstract

We present a method for systematically evaluating the correctness and robustness of instruction-tuned large language models (LLMs) for code generation via a new benchmark, Turbulence. Turbulence consists of a large set of natural language question templates, each of which is a programming problem, parameterised so that it can be asked in many different forms. Each question template has an associated test oracle that judges whether a code solution returned by an LLM is correct. Thus, from a single question template, it is possible to ask an LLM a neighbourhood of very similar programming questions, and assess the correctness of the result returned for each question. This allows gaps in an LLM's code generation abilities to be identified, including anomalies where the LLM correctly solves almost all questions in a neighbourhood but fails for particular parameter instantiations. We present experiments against five LLMs from OpenAI, Cohere and Meta, each at two temperature configurations. Our findings show that, across the board, Turbulence is able to reveal gaps in LLM reasoning ability. This goes beyond merely highlighting that LLMs sometimes produce wrong code (which is no surprise): by systematically identifying cases where LLMs are able to solve some problems in a neighbourhood but do not manage to generalise to solve the whole neighbourhood, our method is effective at highlighting robustness issues. We present data and examples that shed light on the kinds of mistakes that LLMs make when they return incorrect code results.

Tasks

Benchmark Results

DatasetModelMetricClaimedVerifiedStatus
TurbulenceGPT-4CorrSc0.85Unverified
TurbulenceGPT-3.5-TurboCorrSc0.62Unverified
TurbulenceCodeLlama:13B-4bit-quantisedCorrSc0.33Unverified
TurbulenceCodeLlama:7B-4bit-quantisedCorrSc0.29Unverified
TurbulenceCommandCorrSc0.06Unverified

Reproductions