English
Related papers

Related papers: Parametrised Functional Interpretations

200 papers

Numerous approaches have been recently proposed for learning fair representations that mitigate unfair outcomes in prediction tasks. A key motivation for these methods is that the representations can be used by third parties with unknown…

Machine Learning · Computer Science 2024-06-25 Tianhao Wang , Zana Buçinca , Zilin Ma

There is a need of ensuring machine learning models that are interpretable. Higher interpretability of the model means easier comprehension and explanation of future predictions for end-users. Further, interpretable machine learning models…

Machine Learning · Computer Science 2020-08-17 Gregor Stiglic , Primoz Kocbek , Nino Fijacko , Marinka Zitnik , Katrien Verbert , Leona Cilar

This paper aims to provide an analysis of what it means when we say that a pair of theories, very generously construed, are equivalent in the sense that they are interdefinable. With regard to theories articulated in first order logic, we…

Logic · Mathematics 2025-11-05 Toby Meadows

Human parsing is for pixel-wise human semantic understanding. As human bodies are underlying hierarchically structured, how to model human structures is the central theme in this task. Focusing on this, we seek to simultaneously exploit the…

Computer Vision and Pattern Recognition · Computer Science 2020-03-12 Wenguan Wang , Hailong Zhu , Jifeng Dai , Yanwei Pang , Jianbing Shen , Ling Shao

Natural language processing covers a wide variety of tasks predicting syntax, semantics, and information content, and usually each type of output is generated with specially designed architectures. In this paper, we provide the simple…

Computation and Language · Computer Science 2020-05-05 Zhengbao Jiang , Wei Xu , Jun Araki , Graham Neubig

This paper outlines a theoretical framework using which different automatic metrics can be designed for evaluation of Machine Translation systems. It introduces the concept of {\em cognitive ease} which depends on {\em adequacy} and {\em…

Computation and Language · Computer Science 2022-02-14 Rajeev Sangal

We present a novel approach to construction of a formal semantics for a programming language. Our approach, using a parametric denotational semantics, allows the semantics to be easily extended to support new language features, and…

Programming Languages · Computer Science 2018-12-04 In-Ho Yi

The concept of functionality oriented programming is proposed, and some of its aspects are discussed, such as: (1) implementation independent basic types and generic collection types; (2) syntax requirements and recommendations for…

Programming Languages · Computer Science 2011-02-21 Chengpu Wang

Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts. Meanings are often assumed to combine…

cmp-lg · Computer Science 2008-02-03 Mary Dalrymple , John Lamping , Fernando Pereira , Vijay Saraswat

Drawing appropriate defeasible inferences has been proven to be one of the most pervasive puzzles of natural language processing and a recurrent problem in pragmatics. This paper provides a theoretical framework, called ``stratified…

cmp-lg · Computer Science 2008-02-03 Daniel Marcu , Graeme Hirst

It is known that the unified transform method may be used to solve any well-posed initial-boundary value problem for a linear constant-coefficient evolution equation on the finite interval or the half-line. In contrast, classical methods…

Spectral Theory · Mathematics 2014-08-19 David A. Smith

Multilingual language models achieve strong aggregate performance yet often behave unpredictably across languages, scripts, and cultures. We argue that mechanistic explanations for such models should satisfy a \emph{causal} standard: claims…

Computation and Language · Computer Science 2026-01-01 Yanan Long

The umbral restyling of hypergeometric functions is shown to be a useful and efficient approach in simplifying the associated computational technicalities. In this article, the authors provide a general introduction to the umbral version of…

Classical Analysis and ODEs · Mathematics 2024-01-31 Giuseppe Dattoli , Mehnaz Haneef , Subuhi Khan , Silvia Licciardi

We propose learning flexible but interpretable functions that aggregate a variable-length set of permutation-invariant feature vectors to predict a label. We use a deep lattice network model so we can architect the model structure to…

Machine Learning · Computer Science 2018-06-04 Andrew Cotter , Maya Gupta , Heinrich Jiang , James Muller , Taman Narayan , Serena Wang , Tao Zhu

The remarkable performance of convolutional neural networks (CNNs) is entangled with their huge number of uninterpretable parameters, which has become the bottleneck limiting the exploitation of their full potential. Towards network…

Computer Vision and Pattern Recognition · Computer Science 2020-08-26 Yuchao Li , Rongrong Ji , Shaohui Lin , Baochang Zhang , Chenqian Yan , Yongjian Wu , Feiyue Huang , Ling Shao

The goal of this work is to develop, in a systematic way and in a full natural generality, the foundations of a theory of functions of (free) noncommuting variables.

Operator Algebras · Mathematics 2014-07-28 Dmitry S. Kaliuzhnyi-Verbovetskyi , Victor Vinnikov

Charts are very popular for analyzing data, visualizing key insights and answering complex reasoning questions about data. To facilitate chart-based data analysis using natural language, several downstream tasks have been introduced…

Computation and Language · Computer Science 2023-10-12 Ahmed Masry , Parsa Kavehzadeh , Xuan Long Do , Enamul Hoque , Shafiq Joty

This application of nonstandard analysis utilizes the notion of the highly-staturated enlargement. These nonstandard methods clarify many aspects of the theory of generalized functions (distributions).

Functional Analysis · Mathematics 2007-05-23 Robert A. Herrmann

In this paper, we present an algebraic approach to idempotent functional analysis, which is an abstract version of idempotent analysis. The basic concepts and results are expressed in purely algebraic terms. We consider idempotent versions…

Functional Analysis · Mathematics 2007-05-23 Grigori Litvinov , Victor Maslov , Grigori Shpiz

The theory of harmonic based function is discussed here within the framework of umbral operational methods. We derive a number of results based on elementary notions relying on the properties of Gaussian integrals.

Classical Analysis and ODEs · Mathematics 2017-07-18 Giuseppe Dattoli , Bruna Germano , Silvia Licciardi , Maria Renata Martinelli