English
Related papers

Related papers: ProvAbs: model, policy, and tooling for abstractin…

200 papers

Mechanistic interpretability aims to understand neural networks by identifying which learned features mediate specific behaviors. Attribution graphs reveal these feature pathways, but interpreting them requires extensive manual analysis --…

Computation and Language · Computer Science 2025-11-11 Giuseppe Birardi

In reinforcement learning, abstraction methods that remove unnecessary information from the observation are commonly used to learn policies which generalize better to unseen tasks. However, these methods often overlook a crucial weakness:…

Machine Learning · Computer Science 2026-02-24 Caroline Horsch , Laurens Engwegen , Max Weltevrede , Matthijs T. J. Spaan , Wendelin Böhmer

Everyday activities performed by artificial assistants can potentially be executed naively and dangerously given their lack of common sense knowledge. This paper presents conceptual work towards obtaining prior knowledge on the usual…

Machine Learning · Computer Science 2014-10-31 Nicholas H. Kirk

The significance of provenance in various settings has emphasised its potential in the policy-making process for analytics in Smart Cities. At present, there exists no framework that can capture the provenance in a policy-making setting.…

Software Engineering · Computer Science 2018-03-20 Barkha Javed , Zaheer Khan , Richard McClatchey

Generative models can be trained to emulate complex empirical data, but are they useful to make predictions in the context of previously unobserved environments? An intuitive idea to promote such extrapolation capabilities is to have the…

Machine Learning · Computer Science 2022-01-03 Michel Besserve , Rémy Sun , Dominik Janzing , Bernhard Schölkopf

Fairness and interpretability play an important role in the adoption of decision-making algorithms across many application domains. These requirements are intended to avoid undesirable group differences and to alleviate concerns related to…

Econometrics · Economics 2025-09-16 Nora Bearth , Michael Lechner , Jana Mareckova , Fabian Muny

Diffusion-based policies have shown impressive performance in robotic manipulation tasks while struggling with out-of-domain distributions. Recent efforts attempted to enhance generalization by improving the visual feature encoding for…

Robotics · Computer Science 2025-03-21 Shijie Wu , Yihang Zhu , Yunao Huang , Kaizhen Zhu , Jiayuan Gu , Jingyi Yu , Ye Shi , Jingya Wang

Prior art has shown it is possible to estimate, through image processing and computer vision techniques, the types and parameters of transformations that have been applied to the content of individual images to obtain new images. Given a…

Computer Vision and Pattern Recognition · Computer Science 2018-01-24 Daniel Moreira , Aparna Bharati , Joel Brogan , Allan Pinto , Michael Parowski , Kevin W. Bowyer , Patrick J. Flynn , Anderson Rocha , Walter J. Scheirer

This paper reports on a simple visual technique that boils extracting a subgraph down to two operations---pivots and filters---that is agnostic to both the data abstraction, and its visual complexity scales independent of the size of the…

Human-Computer Interaction · Computer Science 2019-03-05 Alex Bigelow , Megan Monroe

Extract-then-Abstract is a naturally coherent paradigm to conduct abstractive summarization with the help of salient information identified by the extractive model. Previous works that adopt this paradigm train the extractor and abstractor…

Computation and Language · Computer Science 2025-08-11 Yuping Wu , Hao Li , Goran Nenadic , Xiao-Jun Zeng

We consider causal inference in the presence of unobserved confounding. We study the case where a proxy is available for the unobserved confounding in the form of a network connecting the units. For example, the link structure of a social…

Machine Learning · Statistics 2019-06-03 Victor Veitch , Yixin Wang , David M. Blei

Determining trust of data available in the Semantic Web is fundamental for applications and users, in particular for linked open data obtained from SPARQL endpoints. There exist several proposals in the literature to annotate SPARQL query…

Databases · Computer Science 2015-03-20 C. V. Damásio , A. Analyti , G. Antoniou

With an increased focus on incorporating fairness in machine learning models, it becomes imperative not only to assess and mitigate bias at each stage of the machine learning pipeline but also to understand the downstream impacts of bias…

Machine Learning · Computer Science 2023-02-15 Pavan Ravishankar , Qingyu Mo , Edward McFowland , Daniel B. Neill

Abstract predicates are considered in this paper as abstraction technique for heap-separated configurations, and as genuine Prolog predicates which are translated straight into a corresponding formal language grammar used as validation…

Logic in Computer Science · Computer Science 2019-06-04 René Haberland , Kirill Krinkin , Sergey Ivanovskiy

A central challenge for cognitive science is to explain how abstract concepts are acquired from limited experience. This has often been framed in terms of a dichotomy between connectionist and symbolic cognitive models. Here, we highlight a…

Provenance templates are now a recognised methodology for the construction of data provenance records. Each template defines the provenance of a domain-specific action in abstract form, which may then be instantiated as required by a single…

Cryptography and Security · Computer Science 2020-06-22 Elliot Fairweather , Rudolf Wittner , Martin Chapman , Petr Holub , Vasa Curcin

We present ProvG-Searcher, a novel approach for detecting known APT behaviors within system security logs. Our approach leverages provenance graphs, a comprehensive graph representation of event logs, to capture and depict data provenance…

Cryptography and Security · Computer Science 2023-12-20 Enes Altinisik , Fatih Deniz , Husrev Taha Sencar

Online discussion platforms are a vital part of the public discourse in a deliberative democracy. However, how to interpret the outcomes of the discussions on these platforms is often unclear. In this paper, we propose a novel and…

Computer Science and Game Theory · Computer Science 2024-02-09 Michael Bernreiter , Jan Maly , Oliviero Nardi , Stefan Woltran

Constraint programming is a family of techniques for solving combinatorial problems, where the problem is modelled as a set of decision variables (typically with finite domains) and a set of constraints that express relations among the…

Artificial Intelligence · Computer Science 2016-05-31 James Caldwell , Ian P. Gent , Peter Nightingale

Classification of scientific abstracts is useful for strategic activities but challenging to automate because the sparse text provides few contextual clues. Metadata associated with the scientific publication can be used to improve…

Digital Libraries · Computer Science 2025-09-09 Prateek Ranka , Fred Morstatter , Alexandra Graddy-Reed , Andrea Belz