English
Related papers

Related papers: Towards Property-Based Tests in Natural Language

200 papers

This paper presents a general framework how controlled natural languages can be evaluated and compared on the basis of user experiments. The subjects are asked to classify given statements (in the language to be tested) as either true or…

Human-Computer Interaction · Computer Science 2009-07-08 Tobias Kuhn

Generating structured input files to test programs can be performed by techniques that produce them from a grammar that serves as the specification for syntactically correct input files. Two interesting scenarios then arise for effective…

Software Engineering · Computer Science 2018-12-20 Esteban Pavese , Ezekiel Soremekun , Nikolas Havrikov , Lars Grunske , Andreas Zeller

We explore the applicability of text-to-code to solve real-world problems that are typically solved in natural language, such as legal judgment and medical QA. Unlike previous works, our approach leverages the explicit reasoning provided by…

Computation and Language · Computer Science 2025-09-23 Haoyang Chen , Kumiko Tanaka-Ishii

Construction Grammar (CxG) has recently been used as the basis for probing studies that have investigated the performance of large pretrained language models (PLMs) with respect to the structure and meaning of constructions. In this…

Computation and Language · Computer Science 2023-02-07 Leonie Weissweiler , Taiqi He , Naoki Otani , David R. Mortensen , Lori Levin , Hinrich Schütze

We introduce CGA, a conditional VAE architecture, to control, generate, and augment text. CGA is able to generate natural English sentences controlling multiple semantic and syntactic attributes by combining adversarial learning with a…

Computation and Language · Computer Science 2020-10-05 Giuseppe Russo , Nora Hollenstein , Claudiu Musat , Ce Zhang

This article discusses a new technique to automatically generate test cases for object oriented programs. At the state of the art, the problem of generating adequate sets of complete test cases has not been satisfactorily solved yet. There…

Software Engineering · Computer Science 2020-05-20 Matteo Modonato

Natural Language Processing (NLP) is one of the most revolutionary technologies today. It uses artificial intelligence to understand human text and spoken words. It is used for text summarization, grammar checking, sentiment analysis, and…

Computation and Language · Computer Science 2025-12-22 G. M. Refatul Islam , Safwan Shaheer , Yaseen Nur , Mohammad Rafid Hamid

Learning structural information from observational data is central to producing new knowledge outside the training corpus. This holds for mechanistic understanding in scientific discovery as well as flexible test-time compositional…

Computation and Language · Computer Science 2026-01-27 Michelle Chao Chen , Moritz Miller , Bernhard Schölkopf , Siyuan Guo

Property-based random testing a la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a…

Programming Languages · Computer Science 2019-10-15 Leonidas Lampropoulos , Diane Gallois-Wong , Catalin Hritcu , John Hughes , Benjamin C. Pierce , Li-yao Xia

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…

Computation and Language · Computer Science 2023-05-24 Qi Jia , Yizhu Liu , Haifeng Tang , Kenny Q. Zhu

Procedural story generation (PCG) tailors a unique narrative experience for a player and can be accomplished via multiple techniques, from matching storylets to grammar-based generation. There exists a rich opportunity for evolutionary…

Software Engineering · Computer Science 2021-03-15 Erik M. Fredericks , Byron DeVries

We present a dataset for evaluating the grammaticality of the predictions of a language model. We automatically construct a large number of minimally different pairs of English sentences, each consisting of a grammatical and an…

Computation and Language · Computer Science 2018-08-29 Rebecca Marvin , Tal Linzen

Simple representations of documents based on the occurrences of terms are ubiquitous in areas like Information Retrieval, and also frequent in Natural Language Processing. In this work we propose a logical-probabilistic approach to the…

Computation and Language · Computer Science 2011-06-03 Alvaro Francisco Huertas-Rosero , C. J. van Rijsbergen

Large language models generate fluent texts and can follow natural language instructions to solve a wide range of tasks without task-specific training. Nevertheless, it is notoriously difficult to control their generation to satisfy the…

Computation and Language · Computer Science 2023-06-09 Wangchunshu Zhou , Yuchen Eleanor Jiang , Ethan Wilcox , Ryan Cotterell , Mrinmaya Sachan

Neural network based approaches to automated story plot generation attempt to learn how to generate novel plots from a corpus of natural language plot summaries. Prior work has shown that a semantic abstraction of sentences called events…

Computation and Language · Computer Science 2023-01-19 Prithviraj Ammanabrolu , Ethan Tien , Wesley Cheung , Zhaochen Luo , William Ma , Lara J. Martin , Mark O. Riedl

Most work on neural natural language generation (NNLG) focus on controlling the content of the generated text. We experiment with controlling several stylistic aspects of the generated text, in addition to its content. The method is based…

Computation and Language · Computer Science 2017-07-11 Jessica Ficler , Yoav Goldberg

Many current artificial general intelligence (AGI) and natural language processing (NLP) architectures do not possess general conversational intelligence--that is, they either do not deal with language or are unable to convey knowledge in a…

Computation and Language · Computer Science 2021-05-04 Vignav Ramesh , Anton Kolonin

Transformer-based language models (LMs) continue to achieve state-of-the-art performance on natural language processing (NLP) benchmarks, including tasks designed to mimic human-inspired "commonsense" competencies. To better understand the…

Computation and Language · Computer Science 2022-05-13 Antonio Laverghetta , Animesh Nighojkar , Jamshidbek Mirzakhalov , John Licato

Motivated by the recent progress in generative models, we introduce a model that generates images from natural language descriptions. The proposed model iteratively draws patches on a canvas, while attending to the relevant words in the…

Machine Learning · Computer Science 2016-03-01 Elman Mansimov , Emilio Parisotto , Jimmy Lei Ba , Ruslan Salakhutdinov

There is much debate over the degree to which language learning is governed by innate language-specific biases, or acquired through cognition-general principles. Here we examine the probabilistic language acquisition hypothesis on three…

Computation and Language · Computer Science 2010-06-17 Anne S. Hsu , Nick Chater , Paul M. B. Vitanyi