PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Dreyfuss, Itay, Nassar, Antonio Abu, Ackerman, Samuel, David, Axel Ben, Farchi, Eitan, Katan, Rami, Raz, Orna, Zalmanovici, Marcel
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917162228121600
author Dreyfuss, Itay
Nassar, Antonio Abu
Ackerman, Samuel
David, Axel Ben
Farchi, Eitan
Katan, Rami
Raz, Orna
Zalmanovici, Marcel
author_facet Dreyfuss, Itay
Nassar, Antonio Abu
Ackerman, Samuel
David, Axel Ben
Farchi, Eitan
Katan, Rami
Raz, Orna
Zalmanovici, Marcel
contents Large Language Model (LLM)-based code assistants have emerged as a powerful application of generative AI, demonstrating impressive capabilities in code generation and comprehension. A key requirement for these systems is their ability to accurately follow user instructions. We present Precise Automatically Checked Instruction Following In Code (PACIFIC), a novel framework designed to automatically generate benchmarks that rigorously assess sequential instruction-following and code dry-running capabilities in LLMs, while allowing control over benchmark difficulty. PACIFIC produces benchmark variants with clearly defined expected outputs, enabling straightforward and reliable evaluation through simple output comparisons. In contrast to existing approaches that often rely on tool usage or agentic behavior, our work isolates and evaluates the LLM's intrinsic ability to reason through code behavior step-by-step without execution (dry running) and to follow instructions. Furthermore, our framework mitigates training data contamination by facilitating effortless generation of novel benchmark variations. We validate our framework by generating a suite of benchmarks spanning a range of difficulty levels and evaluating multiple state-of-the-art LLMs. Our results demonstrate that PACIFIC can produce increasingly challenging benchmarks that effectively differentiate instruction-following and dry running capabilities, even among advanced models. Overall, our framework offers a scalable, contamination-resilient methodology for assessing core competencies of LLMs in code-related tasks.
format Preprint
id arxiv_https___arxiv_org_abs_2512_10713
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
Dreyfuss, Itay
Nassar, Antonio Abu
Ackerman, Samuel
David, Axel Ben
Farchi, Eitan
Katan, Rami
Raz, Orna
Zalmanovici, Marcel
Software Engineering
Artificial Intelligence
Large Language Model (LLM)-based code assistants have emerged as a powerful application of generative AI, demonstrating impressive capabilities in code generation and comprehension. A key requirement for these systems is their ability to accurately follow user instructions. We present Precise Automatically Checked Instruction Following In Code (PACIFIC), a novel framework designed to automatically generate benchmarks that rigorously assess sequential instruction-following and code dry-running capabilities in LLMs, while allowing control over benchmark difficulty. PACIFIC produces benchmark variants with clearly defined expected outputs, enabling straightforward and reliable evaluation through simple output comparisons. In contrast to existing approaches that often rely on tool usage or agentic behavior, our work isolates and evaluates the LLM's intrinsic ability to reason through code behavior step-by-step without execution (dry running) and to follow instructions. Furthermore, our framework mitigates training data contamination by facilitating effortless generation of novel benchmark variations. We validate our framework by generating a suite of benchmarks spanning a range of difficulty levels and evaluating multiple state-of-the-art LLMs. Our results demonstrate that PACIFIC can produce increasingly challenging benchmarks that effectively differentiate instruction-following and dry running capabilities, even among advanced models. Overall, our framework offers a scalable, contamination-resilient methodology for assessing core competencies of LLMs in code-related tasks.
title PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
topic Software Engineering
Artificial Intelligence
url https://arxiv.org/abs/2512.10713