English
Related papers

Related papers: General-purpose Declarative Inductive Programming …

200 papers

Genetic Programming (GP) often uses large training sets and requires all individuals to be evaluated on all training cases during selection. Random down-sampled lexicase selection evaluates individuals on only a random subset of the…

Neural and Evolutionary Computing · Computer Science 2024-02-23 Ryan Boldi , Martin Briesch , Dominik Sobania , Alexander Lalejini , Thomas Helmuth , Franz Rothlauf , Charles Ofria , Lee Spector

Over the past decade, extensive research efforts have been dedicated to the extraction of information from textual process descriptions. Despite the remarkable progress witnessed in natural language processing (NLP), information extraction…

Computation and Language · Computer Science 2024-07-29 Julian Neuberger , Lars Ackermann , Han van der Aa , Stefan Jablonski

Activity classification has observed great success recently. The performance on small dataset is almost saturated and people are moving towards larger datasets. What leads to the performance gain on the model and what the model has learnt?…

Computer Vision and Pattern Recognition · Computer Science 2019-12-16 Jialing Lyu , Weichao Qiu , Xinyue Wei , Yi Zhang , Alan Yuille , Zheng-Jun Zha

The application of Large Language Models to Question Answering has shown great promise, but important challenges such as hallucinations and erroneous reasoning arise when using these models, particularly in knowledge-intensive,…

Computation and Language · Computer Science 2026-05-15 Ignacio Sastre , Guillermo Moncecchi , Aiala Rosá

Recent work has demonstrated the promise of combining local explanations with active learning for understanding and supervising black-box models. Here we show that, under specific conditions, these algorithms may misrepresent the quality of…

Artificial Intelligence · Computer Science 2020-07-21 Teodora Popordanoska , Mohit Kumar , Stefano Teso

Data processing is one of the fundamental steps in machine learning pipelines to ensure data quality. Majority of the applications consider the user-defined function (UDF) design pattern for data processing in databases. Although the UDF…

Databases · Computer Science 2023-12-29 Luyi Ma , Nikhil Thakurdesai , Jiao Chen , Jianpeng Xu , Evren Korpeoglu , Sushant Kumar , Kannan Achan

In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to correspond to the problem of…

Logic in Computer Science · Computer Science 2017-07-11 Farhad Shakerin , Elmer Salazar , Gopal Gupta

Human learning relies on specialization -- distinct cognitive mechanisms working together to enable rapid learning. In contrast, most modern neural networks rely on a single mechanism: gradient descent over an objective function. This…

Machine Learning · Computer Science 2025-05-16 Daniel Weitekamp , Christopher MacLellan , Erik Harpstead , Kenneth Koedinger

Integer Linear Programming (ILP) has a broad range of applications in various areas of artificial intelligence. Yet in spite of recent advances, we still lack a thorough understanding of which structural restrictions make ILP tractable.…

Discrete Mathematics · Computer Science 2020-03-17 Pavel Dvořák , Eduard Eiben , Robert Ganian , Dušan Knop , Sebastian Ordyniak

Engineering information systems for scientific data analysis presents significant challenges: complex workflows requiring exploration of large solution spaces, close collaboration with domain specialists, and the need for maintainable,…

Artificial Intelligence · Computer Science 2026-03-10 Shraddha Surana , Ashwin Srinivasan , Michael Bain

A major challenge in inductive logic programming (ILP) is learning large programs. We argue that a key limitation of existing systems is that they use entailment to guide the hypothesis search. This approach is limited because entailment is…

Artificial Intelligence · Computer Science 2020-04-23 Andrew Cropper , Sebastijan Dumančić

Syntactically controlled paraphrase generation requires language models to generate paraphrases for sentences according to specific syntactic structures. Existing fine-tuning methods for this task are costly as all the parameters of the…

Computation and Language · Computer Science 2023-05-29 Yixin Wan , Kuan-Hao Huang , Kai-Wei Chang

We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and supports predicate…

Artificial Intelligence · Computer Science 2021-12-08 Andrew Cropper

Despite significant progress, recent studies indicate that current large language models (LLMs) may still capture dataset biases and utilize them during inference, leading to the poor generalizability of LLMs. However, due to the diversity…

Computation and Language · Computer Science 2025-05-28 Zhouhao Sun , Xiao Ding , Li Du , Yunpeng Xu , Yixuan Ma , Yang Zhao , Bing Qin , Ting Liu

Gaussian processes (GPs) are powerful but computationally expensive machine learning models, requiring an estimate of the kernel covariance matrix for every prediction. In large and complex domains, such as graphs, sets, or images, the…

Machine Learning · Computer Science 2022-04-22 Alessandro Tibo , Thomas Dyhre Nielsen

Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to…

Machine Learning · Computer Science 2016-08-05 Arvind Neelakantan , Quoc V. Le , Ilya Sutskever

Discovering pattern sets or global patterns is an attractive issue from the pattern mining community in order to provide useful information. By combining local patterns satisfying a joint meaning, this approach produces patterns of higher…

Machine Learning · Computer Science 2011-07-19 Patrice Boizumault , Bruno Crémilleux , Mehdi Khiari , Samir Loudni , Jean-Philippe Métivier

The area of declarative data analytics explores the application of the declarative paradigm on data science and machine learning. It proposes declarative languages for expressing data analysis tasks and develops systems which optimize…

Databases · Computer Science 2019-02-05 Nantia Makrynioti , Vasilis Vassalos

Language models that can learn a task at inference time, called in-context learning (ICL), show increasing promise in natural language inference tasks. In ICL, a model user constructs a prompt to describe a task with a natural language…

Software Engineering · Computer Science 2024-04-22 Sarah Santos , Travis Breaux , Thomas Norton , Sara Haghighi , Sepideh Ghanavati

Knowledge Representation and Reasoning and Machine Learning are two important fields in AI. Nonmonotonic logic programming (NMLP) and Answer Set Programming (ASP) provide formal languages for representing and reasoning with commonsense…

Artificial Intelligence · Computer Science 2013-11-20 Katsumi Inoue , Chiaki Sakama