中文
相关论文

相关论文: Semantic Code Repair using Neuro-Symbolic Transfor…

200 篇论文

Improving the quality of Natural Language Understanding (NLU) models, and more specifically, task-oriented semantic parsing models, in production is a cumbersome task. In this work, we present a system called AutoNLU, which we designed to…

Textual content around us is growing on a daily basis. Numerous articles are being written as we speak on online newspapers, blogs, or social media. Similarly, recent advances in the AI field, like language models or traditional classic AI…

计算与语言 · 计算机科学 2023-07-18 Nicos Isaak

One of the most significant challenges in the field of software code auditing is the presence of vulnerabilities in software source code. Every year, more and more software flaws are discovered, either internally in proprietary code or…

密码学与安全 · 计算机科学 2023-06-16 Mst Shapna Akter , Hossain Shahriar , Juan Rodriguez Cardenas , Sheikh Iqbal Ahamed , Alfredo Cuzzocrea

The neural network has become an integral part of modern software systems. However, they still suffer from various problems, in particular, vulnerability to adversarial attacks. In this work, we present a novel program reasoning framework…

人工智能 · 计算机科学 2023-03-27 Zi Wang , Somesh Jha , Krishnamurthy , Dvijotham

Neural machine translation models are often biased toward the limited translation references seen during training. To amend this form of overfitting, in this paper we propose fine-tuning the models with a novel training objective based on…

计算与语言 · 计算机科学 2021-06-07 Inigo Jauregi Unanue , Jacob Parnell , Massimo Piccardi

Semantic parsing can be defined as the process of mapping natural language sentences into a machine interpretable, formal representation of its meaning. Semantic parsing using LSTM encoder-decoder neural networks have become promising…

计算与语言 · 计算机科学 2018-07-20 Fabiano Ferreira Luz , Marcelo Finger

In this paper, we propose a Neural Architecture Search strategy based on self supervision and semi-supervised learning for the task of semantic segmentation. Our approach builds an optimized neural network (NN) model for this task by…

计算机视觉与模式识别 · 计算机科学 2022-02-02 Loïc Pauletto , Massih-Reza Amini , Nicolas Winckler

Grammatical error correction can be viewed as a low-resource sequence-to-sequence task, because publicly available parallel corpora are limited. To tackle this challenge, we first generate erroneous versions of large unannotated corpora…

计算与语言 · 计算机科学 2019-07-03 Yo Joong Choe , Jiyeon Ham , Kyubyong Park , Yeoil Yoon

Question generation is a conditioned language generation task that consists in generating a context-aware question given a context and the targeted answer. Train language modelling with a mere likelihood maximization has been widely used…

计算与语言 · 计算机科学 2021-10-14 Loïc , Kwate Dassi

Large language models (LLMs) have transformed software development by enabling automated code generation, yet they frequently suffer from systematic errors that limit practical deployment. We identify two critical failure modes:…

软件工程 · 计算机科学 2025-11-12 Wuyang Zhang , Chenkai Zhang , Zhen Luo , Jianming Ma , Wangming Yuan , Chuqiao Gu , Chenwei Feng

Semantic parsing aims to map natural language utterances onto machine interpretable meaning representations, aka programs whose execution against a real-world environment produces a denotation. Weakly-supervised semantic parsers are trained…

计算与语言 · 计算机科学 2019-09-11 Bailin Wang , Ivan Titov , Mirella Lapata

Automatic photo adjustment is to mimic the photo retouching style of professional photographers and automatically adjust photos to the learned style. There have been many attempts to model the tone and the color adjustment globally with…

计算机视觉与模式识别 · 计算机科学 2017-06-27 Seonghyeon Nam , Seon Joo Kim

Automated generate-and-validate (G&V) program repair techniques typically rely on hard-coded rules, only fix bugs following specific patterns, and are hard to adapt to different programming languages. We propose ENCORE, a new G&V technique,…

软件工程 · 计算机科学 2024-03-12 Thibaud Lutellier , Lawrence Pang , Viet Hung Pham , Moshi Wei , Lin Tan

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it…

软件工程 · 计算机科学 2022-04-26 Martin Monperrus

The advance in machine learning (ML)-driven natural language process (NLP) points a promising direction for automatic bug fixing for software programs, as fixing a buggy program can be transformed to a translation task. While software…

软件工程 · 计算机科学 2021-07-20 Wenshuo Wang , Chen Wu , Liang Cheng , Yang Zhang

Sequence-to-sequence models have been used to transform erroneous programs into correct ones when trained with a large enough dataset. Some recent studies also demonstrated strong empirical evidence that code review could improve the…

Understanding why machine learning algorithms may fail is usually the task of the human expert that uses domain knowledge and contextual information to discover systematic shortcomings in either the data or the algorithm. In this paper, we…

人工智能 · 计算机科学 2019-05-01 Marjan Alirezaie , Martin Längkvist , Michael Sioutis , Amy Loutfi

Automated software debugging is a crucial task for improving the productivity of software developers. Many neural-based techniques have been proven effective for debugging-related tasks such as bug localization and program repair (or bug…

软件工程 · 计算机科学 2022-12-23 Nghi D. Q. Bui , Yue Wang , Steven Hoi

Recent advances in neural modeling for bug detection have been very promising. More specifically, using snippets of code to create continuous vectors or \textit{embeddings} has been shown to be very good at method name prediction and…

软件工程 · 计算机科学 2020-05-14 Jón Arnar Briem , Jordi Smit , Hendrig Sellik , Pavel Rapoport

The Just-In-Time defect prediction model helps development teams improve software quality and efficiency by assessing whether code changes submitted by developers are likely to introduce defects in real-time, allowing timely identification…

软件工程 · 计算机科学 2025-05-05 Jiaqi Zhang , Shikai Guo , Hui Li , Chenchen Li , Yu Chai , Rong Chen