中文
相关论文

相关论文: DeepMutants: Training neural bug detectors with co…

200 篇论文

The neural architectures of language models are becoming increasingly complex, especially that of Transformers, based on the attention mechanism. Although their application to numerous natural language processing tasks has proven to be very…

计算与语言 · 计算机科学 2023-12-04 Pablo Gamallo

Due to increasingly complex software design and rapid iterative development, code defects and security vulnerabilities are prevalent in modern software. In response, programmers rely on static analysis tools to regularly scan their…

Standard decoding in Masked Diffusion Models (MDMs) is hindered by context rigidity: tokens are retained based on transient high confidence, often ignoring that early predictions lack full context. This creates cascade effects where initial…

机器学习 · 计算机科学 2026-03-16 Kevin Zhai , Sabbir Mollah , Zhenyi Wang , Mubarak Shah

Large language models (LLMs) present an exciting opportunity for generating synthetic classroom data. Such data could include code containing a typical distribution of errors, simulated student behaviour to address the cold start problem…

计算机与社会 · 计算机科学 2024-10-15 Stephen MacNeil , Magdalena Rogalska , Juho Leinonen , Paul Denny , Arto Hellas , Xandria Crosland

Contextual bandits have emerged as a cornerstone in reinforcement learning, enabling systems to make decisions with partial feedback. However, as contexts grow in complexity, traditional bandit algorithms can face challenges in adequately…

机器学习 · 计算机科学 2023-11-07 Ali Baheri , Cecilia O. Alm

We study the problem of semantic code repair, which can be broadly defined as automatically fixing non-syntactic bugs in source code. The majority of past work in semantic code repair assumed access to unit tests against which candidate…

人工智能 · 计算机科学 2017-10-31 Jacob Devlin , Jonathan Uesato , Rishabh Singh , Pushmeet Kohli

Resolving bugs in the maintenance phase of software is a complicated task. Bug assignment is one of the main tasks for resolving bugs. Some Bugs cannot be fixed properly without making design decisions and have to be assigned to designers,…

软件工程 · 计算机科学 2023-03-29 Reza Sepahvand , Reza Akbari , Behnaz Jamasb , Sattar Hashemi , Omid Boushehrian

As research in automatically detecting bugs grows and produces new techniques, having suitable collections of programs with known bugs becomes crucial to reliably and meaningfully compare the effectiveness of these techniques. Most of the…

软件工程 · 计算机科学 2024-10-03 Riccardo Felici , Laura Pozzi , Carlo A. Furia

Even as deep neural networks have become very effective for tasks in vision and perception, it remains difficult to explain and debug their behavior. In this paper, we present a programmatic and semantic approach to explaining,…

计算机视觉与模式识别 · 计算机科学 2020-06-18 Edward Kim , Divya Gopinath , Corina Pasareanu , Sanjit Seshia

Recently, pretrained language models (PLMs) have had exceptional success in language generation. To leverage the rich knowledge encoded by PLMs, a simple yet powerful paradigm is to use prompts in the form of either discrete tokens or…

计算与语言 · 计算机科学 2022-10-04 Tianyi Tang , Junyi Li , Wayne Xin Zhao , Ji-Rong Wen

Contextual information plays a vital role for software developers when understanding and fixing a bug. Consequently, deep learning-based program repair techniques leverage context for bug fixes. However, existing techniques treat context in…

软件工程 · 计算机科学 2022-12-07 Mifta Sintaha , Noor Nashid , Ali Mesbah

The integration of contextual embeddings into the optimization processes of large language models is an advancement in natural language processing. The Context-Aware Neural Gradient Mapping framework introduces a dynamic gradient adjustment…

计算与语言 · 计算机科学 2025-04-25 David Boldo , Lily Pemberton , Gabriel Thistledown , Jacob Fairchild , Felix Kowalski

The introduction of Transformer neural networks has changed the landscape of Natural Language Processing (NLP) during the last years. So far, none of the visualization systems has yet managed to examine all the facets of the Transformers.…

计算与语言 · 计算机科学 2021-05-27 Andrew Dunn , Diana Inkpen , Răzvan Andonie

Automated test generators, such as search based software testing (SBST) techniques, replace the tedious and expensive task of manually writing test cases. SBST techniques are effective at generating tests with high code coverage. However,…

软件工程 · 计算机科学 2022-06-15 Anjana Perera

Neural processes (NPs) aim to stochastically complete unseen data points based on a given context dataset. NPs essentially leverage a given dataset as a context representation to derive a suitable identifier for a novel task. To improve the…

机器学习 · 计算机科学 2022-04-13 Mingyu Kim , Kyeongryeol Go , Se-Young Yun

The performance of machine learning model can be further improved if contextual cues are provided as input along with base features that are directly related to an inference task. In offline learning, one can inspect historical training…

机器学习 · 计算机科学 2019-10-21 Kin Gwn Lore , Kishore K. Reddy

We first observe a potential weakness of continuous vector representations of symbols in neural machine translation. That is, the continuous vector representation, or a word embedding vector, of a symbol encodes multiple dimensions of…

计算与语言 · 计算机科学 2016-07-05 Heeyoul Choi , Kyunghyun Cho , Yoshua Bengio

Contextual bandit algorithms are essential for solving real-world decision making problems. In practice, collecting a contextual bandit's feedback from different domains may involve different costs. For example, measuring drug reaction from…

机器学习 · 计算机科学 2025-04-08 Ziyan Wang , Xiaoming Huo , Hao Wang

Software bugs cost the global economy billions of dollars annually and claim ~50\% of the programming time from software developers. Locating these bugs is crucial for their resolution but challenging. It is even more challenging in…

软件工程 · 计算机科学 2025-07-23 Sigma Jahan , Mehil B. Shah , Mohammad Masudur Rahman

The automated program repair field has attracted substantial interest over the years, but despite significant research efforts, creating a system that works well for complex semantic bugs such as security vulnerabilities has proven…

密码学与安全 · 计算机科学 2024-02-26 Berkay Berabi , Alexey Gronskiy , Veselin Raychev , Gishor Sivanrupan , Victor Chibotaru , Martin Vechev