English
Related papers

Related papers: Quantitative Behavioural Reasoning for Higher-orde…

200 papers

Learning policies which are robust to changes in the environment are critical for real world deployment of Reinforcement Learning agents. They are also necessary for achieving good generalization across environment shifts. We focus on…

Machine Learning · Computer Science 2023-06-08 Anuj Mahajan , Amy Zhang

We prove that the combination of a target network and over-parameterized linear function approximation establishes a weaker convergence condition for bootstrapped value estimation in certain cases, even with off-policy data. Our condition…

There is a mismatch between the standard theoretical analyses of statistical machine learning and how learning is used in practice. The foundational assumption supporting the theory is that we can represent features and models using…

Machine Learning · Computer Science 2019-05-29 Annie Cherkaev , Waiming Tai , Jeff Phillips , Vivek Srikumar

This paper concerns upper estimates of the projectional coderivative of implicit mappings and corresponding applications on analyzing the relative Lipschitz-like property. Under different constraint qualifications, we provide upper…

Optimization and Control · Mathematics 2024-10-24 Wenfang Yao , Xiaoqi Yang

Behavioural distances provide a quantitative approach to comparing the states of transition systems, moving beyond traditional Boolean notions of equivalence. In this paper, we develop a sound and complete axiomatisation of behavioural…

Logic in Computer Science · Computer Science 2026-05-01 Wojciech Różowski , Robin Piedeleu , Alexandra Silva , Fabio Zanasi

The digital quantum simulation of lattice gauge theories is expected to become a major application of quantum computers. Measurement-based quantum computation is a widely studied competitor of the standard circuit-based approach. We…

High Energy Physics - Lattice · Physics 2024-01-22 Hiroki Sukeno , Takuya Okuda

We develop a comprehensive theory for a general class of multi-parameter function spaces of Besov-Triebel-Lizorkin type, with a matrix weight. We prove the equivalence of different quasi-norms, the identification of function and sequence…

Functional Analysis · Mathematics 2026-03-27 Fan Bu , Yiqun Chen , Tuomas Hytönen , Dachun Yang , Wen Yuan

In this article, we relax the Bayesianity assumption in the now-traditional model of Bayesian Persuasion introduced by Kamenica & Gentzkow. Unlike preexisting approaches -- which have tackled the possibility of the receiver (Bob) being…

Computer Science and Game Theory · Computer Science 2024-09-25 Olivier Massicot , Cédric Langbort

The "shape" of a planar curve and/or landmark configuration is considered its equivalence class under translation, rotation and scaling, its "form" its equivalence class under translation and rotation while scale is preserved. We extend…

Methodology · Statistics 2022-07-08 Almond Stöcker , Lisa Steyer , Sonja Greven

Infinite sets of inequalities which generalize all the known inequalities that can be used in the majorization step of the Approximating Hamiltonian method are derived. They provide upper bounds on the difference between the quadratic…

Mathematical Physics · Physics 2011-06-20 J. G. Brankov , N. S. Tonchev

Causal inference methods are widely applied in the fields of medicine, policy, and economics. Central to these applications is the estimation of treatment effects to make decisions. Current methods make binary yes-or-no decisions based on…

Machine Learning · Computer Science 2020-04-24 Will Y. Zou , Smitha Shyam , Michael Mui , Mingshi Wang , Jan Pedersen , Zoubin Ghahramani

Little effort has been devoted to studying generalised notions or models of (un)predictability, yet is an important concept throughout physics and plays a central role in quantum information theory, where key results rely on the supposed…

Quantum Physics · Physics 2020-01-27 Alastair A. Abbott , Cristian S. Calude , Karl Svozil

In this paper we consider Idempotent Functional Analysis, an `abstract' version of Idempotent Analysis developed by V. P. Maslov and his collaborators. We give a review of the basic ideas of Idempotent Analysis. The correspondence between…

Functional Analysis · Mathematics 2007-05-23 Grigory Litvinov , Viktor Maslov , Grigory Shpiz

This paper presents a weighted optimization framework that unifies the binary,multi-valued, continuous, as well as mixture of discrete and continuous treatment, under the unconfounded treatment assignment. With a general loss function, the…

Econometrics · Economics 2018-08-20 Chunrong Ai , Oliver Linton , Kaiji Motegi , Zheng Zhang

We introduce a conceptually simple and effective method to quantify the similarity between relations in knowledge bases. Specifically, our approach is based on the divergence between the conditional probability distributions over entity…

Artificial Intelligence · Computer Science 2019-07-23 Weize Chen , Hao Zhu , Xu Han , Zhiyuan Liu , Maosong Sun

In a deterministic world, a planning agent can be certain of the consequences of its planned sequence of actions. Not so, however, in dynamic, stochastic domains where Markov decision processes are commonly used. Unfortunately these suffer…

Artificial Intelligence · Computer Science 2014-01-21 Jiri Baum , Ann E. Nicholson , Trevor I. Dix

Inspired by recent strides in empirical efficacy of implicit learning in many robotics tasks, we seek to understand the theoretical benefits of implicit formulations in the face of nearly discontinuous functions, common characteristics for…

Robotics · Computer Science 2022-04-08 Bibit Bianchini , Mathew Halm , Nikolai Matni , Michael Posa

How to learn an effective reinforcement learning-based model for control tasks from high-level visual observations is a practical and challenging problem. A key to solving this problem is to learn low-dimensional state representations from…

Machine Learning · Computer Science 2022-12-27 Jianda Chen , Sinno Jialin Pan

Given that the restricted equivalence functions (REFs) can serve to measure the similarity of two fuzzy sets, this motivates the integration of REFs with similarity-based approximate reasoning systems to enhance inference capabilities.…

General Mathematics · Mathematics 2026-05-04 Dechao Li , Yuhui Zhu

This paper investigates a broad class of non-Gaussian measures, $ \mu_\Psi$, associated with a family of generalized Wright functions, $_m\Psi_q$. First, we study these measures in Euclidean spaces $\mathbb{R}^d$, then define them in an…

Probability · Mathematics 2025-07-28 Luisa Beghin , Lorenzo Cristofaro , José L. da Silva
‹ Prev 1 8 9 10 Next ›