paper-with-me

Papers

One Step at a Time: Combining LLMs and Static Analysis to Generate Next-Step Hints for Programming Tasks

2024-10-11 · Anastasiia Birillo, Elizaveta Artser, Anna Potriasaeva, Ilya Vlasov, Katsiaryna Dzialets, Yaroslav Golubev, Igor Gerasimov, Hieke Keuning, Timofey Bryksin

Students often struggle with solving programming problems when learning to code, especially when they have to do it online, with one of the most common disadvantages of working online being the lack of personalized help. This help can be provided as next-step hint generation, i.e., showing a student what specific small step they need to do next to get to the correct solution. There are many ways to generate such hints, with large language models (LLMs) being among the most actively studied right now. While LLMs constitute a promising technology for providing personalized help, combining them with other techniques, such as static analysis, can significantly improve the output quality. In this work, we utilize this idea and propose a novel system to provide both textual and code hints for programming tasks. The pipeline of the proposed approach uses a chain-of-thought prompting technique and consists of three distinct steps: (1) generating subgoals - a list of actions to proceed with the task from the current student's solution, (2) generating the code to achieve the next subgoal, and (3) generating the text to describe this needed action. During the second step, we apply static analysis to the generated code to control its size and quality. The tool is implemented as a modification to the open-source JetBrains Academy plugin, supporting students in their in-IDE courses. To evaluate our approach, we propose a list of criteria for all steps in our pipeline and conduct two rounds of expert validation. Finally, we evaluate the next-step hints in a classroom with 14 students from two universities. Our results show that both forms of the hints - textual and code - were helpful for the students, and the proposed system helped them to proceed with the coding tasks.

📄 PDF Abstract BibTeX arXiv:2410.09268

Code (0)

등록된 구현이 없습니다.

Tasks

Hint Generation

Methods 이 논문이 사용한 방법론

HINT An unsupervised approach for identifying Hierarchical Information Threads by analysing the network of related articles in a collection. In particular, HINT leverages article…

Similar Papers 제목 키워드 기반

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements

2025-06-12 · Seyed Moein Abtahi, Akramul Azim

This study examined code issue detection and revision automation by integrating Large Language Models (LLMs) such as OpenAI's GPT-3.5 Turbo and GPT-4o into software development workflows. A static code analysis framework…

Prompt EngineeringRAGRetrieval-augmented Generation

LLMSecConfig: An LLM-Based Approach for Fixing Software Container Misconfigurations

2025-02-04 · Ziyang Ye, Triet Huynh Minh Le, M. Ali Babar

Security misconfigurations in Container Orchestrators (COs) can pose serious threats to software systems. While Static Analysis Tools (SATs) can effectively detect these security vulnerabilities, the industry currently l…

ManagementRAGRetrieval-augmented Generation

Retrieval Heads are Dynamic

2026-01-07 · Yuping Lin, Zitao Li, Yue Xing, Pengfei He 외 arxiv

Recent studies have identified "retrieval heads" in Large Language Models (LLMs) responsible for extracting information from input contexts. However, prior works largely rely on static statistics aggregated across datase…

The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs

2025-04-16 · Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian

Static analysis plays a crucial role in software vulnerability detection, yet faces a persistent precision-scalability tradeoff. In large codebases like the Linux kernel, traditional static analysis tools often generate …

Vulnerability Detection

Investigating LLM's Problem Solving Capability -- a Study on Statics Questions

2026-04-30 · Tanner Culleton, Hung-Fu Chang arxiv

Large Language Models (LLMs) have rapidly influenced many aspects of society, particularly education, due to their demonstrated ability to complete assignments and examinations across a wide range of subjects. Although p…