中文
相关论文

相关论文: Data Generation for Neural Programming by Example

200 篇论文

A key challenge for reinforcement learning is solving long-horizon planning problems. Recent work has leveraged programs to guide reinforcement learning in these settings. However, these approaches impose a high manual burden on the user…

Source code summarization -- creating natural language descriptions of source code behavior -- is a rapidly-growing research topic with applications to automatic documentation generation, program comprehension, and software maintenance.…

软件工程 · 计算机科学 2019-02-07 Alexander LeClair , Siyuan Jiang , Collin McMillan

Search Based Software Testing (SBST) is a popular automated testing technique which uses a feedback mechanism to search for faults in software. Despite its popularity, it has fundamental challenges related to the design, construction and…

软件工程 · 计算机科学 2020-07-01 Leonid Joffe , David J. Clark

Curriculum learning has shown promising improvements in multiple domains by training machine learning models from easy samples to hard ones. Previous works which either design rules or train models for scoring the difficulty highly rely on…

计算与语言 · 计算机科学 2023-05-24 Qi Jia , Yizhu Liu , Haifeng Tang , Kenny Q. Zhu

Differentially private training algorithms like DP-SGD protect sensitive training data by ensuring that trained models do not reveal private information. An alternative approach, which this paper studies, is to use a sensitive dataset to…

机器学习 · 计算机科学 2024-01-12 Alexey Kurakin , Natalia Ponomareva , Umar Syed , Liam MacDermed , Andreas Terzis

We present an overview and evaluation of a new, systematic approach for generation of highly realistic, annotated synthetic data for training of deep neural networks in computer vision tasks. The main contribution is a procedural world…

计算机视觉与模式识别 · 计算机科学 2017-10-19 Apostolia Tsirikoglou , Joel Kronander , Magnus Wrenninge , Jonas Unger

Historical linguists have long written "programs" that convert reconstructed words in an ancestor language into their attested descendants via ordered string rewrite functions (called sound laws) However, writing these programs is…

State-of-the-art techniques of artificial intelligence, in particular deep learning, are mostly data-driven. However, collecting and manually labeling a large scale dataset is both difficult and expensive. A promising alternative is to…

计算机视觉与模式识别 · 计算机科学 2018-07-31 Qi Chen , Weichao Qiu , Yi Zhang , Lingxi Xie , Alan Yuille

Many key problems in machine learning and data science are routinely modeled as optimization problems and solved via optimization algorithms. With the increase of the volume of data and the size and complexity of the statistical models used…

最优化与控制 · 数学 2020-08-28 Filip Hanzely

Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constraint programming and automated planning are examples of these…

人工智能 · 计算机科学 2020-09-23 Özgür Akgün , Nguyen Dang , Joan Espasa , Ian Miguel , András Z. Salamon , Christopher Stone

Despite significant recent progress in the area of Brain-Computer Interface (BCI), there are numerous shortcomings associated with collecting Electroencephalography (EEG) signals in real-world environments. These include, but are not…

It is often desirable to distill the capabilities of large language models (LLMs) into smaller student models due to compute and memory constraints. One way to do this for classification tasks is via dataset synthesis, which can be…

计算与语言 · 计算机科学 2024-11-14 Abhishek Divekar , Greg Durrett

Data generation and analysis is a fundamental aspect of many industries and disciplines, from strategic decision making in business to research in the physical and social sciences. However, data generated using software and algorithms can…

软件工程 · 计算机科学 2023-10-19 Ernesto Giralt Hernández

We address the problem of indoor layout synthesis, which is a topic of continuing research interest in computer graphics. The newest works made significant progress using data-driven generative methods; however, these approaches rely on…

图形学 · 计算机科学 2022-10-25 Kurt Leimer , Paul Guerrero , Tomer Weiss , Przemyslaw Musialski

Recognizing fallacies is crucial for ensuring the quality and validity of arguments across various domains. However, computational fallacy recognition faces challenges due to the diverse genres, domains, and types of fallacies found in…

计算与语言 · 计算机科学 2024-08-16 Tariq Alhindi , Smaranda Muresan , Preslav Nakov

The recent surge in research focused on generating synthetic data from large language models (LLMs), especially for scenarios with limited data availability, marks a notable shift in Generative Artificial Intelligence (AI). Their ability to…

机器学习 · 计算机科学 2024-03-08 Xu Guo , Yiqiang Chen

Generating synthetic data through generative models is gaining interest in the ML community and beyond. In the past, synthetic data was often regarded as a means to private data release, but a surge of recent papers explore how its…

机器学习 · 计算机科学 2023-04-10 Boris van Breugel , Mihaela van der Schaar

Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific languages (DSL) that are engineered to help the synthesizer,…

形式语言与自动机理论 · 计算机科学 2022-08-30 Anvay Grover , Ruediger Ehlers , Loris D'Antoni

In mapping enterprise applications, data mapping remains a fundamental part of integration development, but its time consuming. An increasing number of applications lack naming standards, and nested field structures further add complexity…

人工智能 · 计算机科学 2023-07-11 Nischal Ashok Kumar , Nitin Gupta , Shanmukha Guttula , Hima Patel

In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions. Performing a naive brute force search is infeasible for even mildly involved…

人工智能 · 计算机科学 2012-09-19 Aditya Krishna Menon , Omer Tamuz , Sumit Gulwani , Butler Lampson , Adam Tauman Kalai