atlas

Research map / Large language models / Agents, code and math

VERSE: Verification-based Self-Play for Code Instructions

AAAI 2025 · Large language models › Agents, code and math · approach: Execution-based code verification · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes VERSE, a verification-based self-play method where Code LLMs generate code instructions, responses, and executable verification scripts, then rank responses by execution and self-consistency scores for rejection-sampling fine-tuning.

Problem

Self-generated instruction-response data for code LLMs is not guaranteed to be functionally correct, and direct verification of responses to diverse code instructions (including non-executable natural-language outputs) is challenging.

Approach

Code LLMs self-generate verifications and test scripts for each response, execute them in a sandbox, and combine execution results with equivalence-based self-consistency and verification confidence into a score used to rank and select training data via rejection sampling fine-tuning.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Train CodeLlama-7B with VERSE from the base model instead of using the strongest reported non-VERSE resultCodeLlama-7B · BigCloneBenchF1: 61.2 -> 39.2Hurt
Train CodeLlama-7B with VERSE from the base model instead of Evol-instruction-66kCodeLlama-7B · Devignaccuracy: 53.2 -> 47.6Hurt
Train CodeLlama-7B with VERSE from the base model instead of Evol-instruction-66kCodeLlama-7B · HumanEvalSynthesisPass@1: 44.9 -> 38.4Hurt
Train CodeLlama-7B with VERSE from the base model instead of Evol-instruction-66kCodeLlama-7B · HumanEvalFixPass@1: 34.2 -> 10.5Hurt
Train CodeLlama-7B with VERSE from the base model instead of Evol-instruction-66kCodeLlama-7B · HumanEvalExplainPass@1: 32.7 -> 31.8Hurt
Train Deepseek-Coder-6.7B-Base with VERSE from the base model instead of the base model resultDeepseek-Coder-6.7B-Base · BigCloneBenchF1: 51.8 -> 53.1Helped
Train Deepseek-Coder-6.7B-Base with VERSE from the base model instead of Evol-instruction-66kDeepseek-Coder-6.7B-Base · Devignaccuracy: 53.9 -> 54.5Helped
Train Deepseek-Coder-6.7B-Base with VERSE from the base model instead of Evol-instruction-66kDeepseek-Coder-6.7B-Base · HumanEvalSynthesisPass@1: 56.7 -> 55.3Hurt
Train Deepseek-Coder-6.7B-Base with VERSE from the base model instead of Evol-instruction-66kDeepseek-Coder-6.7B-Base · HumanEvalFixPass@1: 47.9 -> 27.1Hurt
Train Deepseek-Coder-6.7B-Base with VERSE from the base model instead of Deepseek-Coder-6.7B-InstructDeepseek-Coder-6.7B-Base · HumanEvalExplainPass@1: 49.7 -> 37.6Hurt
Add VERSE training to CodeLlama-7B fine-tuned on CodeAlpaca-20kCodeLlama-7B · BigCloneBenchF1: 17.8 -> 37.3Helped
Add VERSE training to Deepseek-Coder-6.7B-Base fine-tuned on Evol-instruction-66kDeepseek-Coder-6.7B-Base · HumanEvalSynthesisPass@1: 56.7 -> 60.7Helped

Surprising findings

Limitations

Experimental setup

Datasets: CodeAlpaca-20k Evol-instruction-66k BigCloneBench Devign HumanEvalSynthesis HumanEvalFix HumanEvalExplain

Benchmarks: BigCloneBench Devign HumanEvalSynthesis HumanEvalFix HumanEvalExplain

Metrics: F1 Accuracy Pass@1

Baselines: Self-Instruct CodeAlpaca-20k Evol-instruction-66k CodeLlama-7B-Instruct Deepseek-Coder-6.7B-Instruct GPT-4

Builds on: Self-Instruct rejection sampling fine-tuning self-consistency HumanEvalPack

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy