Aug 2026· 2026 12th International Conference on Big Data and Information Analytics (BigDIA)· pp. 227-234· 0 citations· 24 references
Abstract
Accurately evaluating the instruction-following ability of Large Language Models (LLMs) is crucial for their practical deployment. Existing evaluation methods mainly rely on static assessment of single-pass generations, making it difficult to comprehensively measure instruction-following performance or models’ capability for self-correction under complex instructions. Moreover, current benchmarks focus primarily on formal constraints while overlooking intention understanding and semantic quality. To address these limitations, we propose Dynamic Instruction-Following Evaluation Framework (DIFE) which is a dynamic evaluation framework that integrates multi-dimensional verification with iterative feedback refinement. Specifically, we construct a three-dimensional evaluation taxonomy covering intention understanding, formal compliance, and semantic quality, together with a hybrid verification mechanism combining rule-based validation and LLM-as-a-Judge assessment. Based on the verification results, the framework automatically generates fine-grained feedback to guide iterative response refinement and reevaluation. Experiments on multiple mainstream LLMs show that the proposed framework provides more comprehensive diagnosis of instruction-following failures and consistently improves instruction-following success rates through iterative refinement, offering an effective closed-loop solution for both evaluating and enhancing LLM instruction-following capability.
Large Language Models (LLMs) are increasingly incorporated into verifier-in-the-loop software engineering systems, yet it remains unclear how the representation of verifier feedback affects their ability to repair incorrect programs. We study this question by isolating feedback representation from model, task, and prom...
Tao-Er Guo· Proceedings of the 7th Inter...· 0 citations
This study evaluates the effectiveness of multiple state-of-the-art LLMs in generating executable REST API test cases from OpenAPI documentation and proposes a generalized prompt template that balances reasoning quality and practical usability for exploratory API testing.
Evaluating state-of-the-art open LLMs reveals a significant robustness gap, and shows that reliable process-level verification remains challenging, and evaluator robustness should be measured separately from solver accuracy, even in a simple algebraic domain with exact ground truth.
A transformation-based benchmarking approach for OCL generation is introduced, based on deterministic, semantics-preserving UML model transformations; such as identifier renaming, attribute reification, and association reification, that preserve specification intent while altering model representation.
Hamza Attarwala, Moataz Chouchen, Omar Alam et al.· Proceedings of the ACM/IEEE...· 0 citations
Requirements specification is a pivotal activity in software development. The use of structured templates for specifying requirements can improve their clarity, consistency, and analyzability, which is particularly important in safety-critical domains such as avionics to support verification and certification activitie...
Large language models (LLMs) can generate register-transfer-level (RTL) code from natural-language specifications, but compilation alone does not establish structural completeness, functional correctness, or implementation efficiency. This paper presents a framework for evaluating LLM-generated RTL beyond compilation,...
Hepziba Susan, R. ShivaranjaniG, Malik Imran et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.