Related papers: The core model induction beyond $L(\mathbb{R})$: n…
We demonstrate a method to infer polymorphically principal and subtyping-minimal types for an ML-like core language by assigning ranges within a lattice to type variables. We demonstrate the termination and completeness of this algorithm,…
Nonlinear function estimation is core to modern machine learning applications. In this paper, to perform nonlinear function estimation, we reduce a nonlinear inverse problem to a linear one using a polynomial kernel expansion. These kernels…
In this paper, we show that counterfactual explanations of confidence scores help users better understand and better trust an AI model's prediction in human-subject studies. Showing confidence scores in human-agent interaction systems can…
Natural language understanding tasks such as open-domain question answering often require retrieving and assimilating factual information from multiple sources. We propose to address this problem by integrating a semi-parametric…
For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…
In this paper we classify the irreducible integrable modules for the twisted toroidal extended affine Lie algebras with center acting non-trivially.
We propose Equivariant ZFA with Choice as a foundation for nominal techniques that is stronger than ZFC and weaker than FM, and why this may be particularly helpful in the context of automated reasoning.
In the context of $\mathsf{ZF}+\mathsf{DC}$, we force $\mathsf{DC}_\kappa$ for relations on $\mathcal{P}(\kappa)$ for $\kappa{}<\aleph_\omega$ over the Chang model $\mathrm{L}(\mathrm{Ord}^\omega)$ making some assumptions on the thorn…
We describe a spacetime endowed with a non-metricity tensor which effectively serves as a model of a spacetime foam. We explore the consequences of the non-metricity in several $f(R)$ theories.
We introduce the concept of a non-associative (i.e. non-necessarily associtive) inverse semialgebra over a field, the Lie version of which is inspired by the set of all partially defined derivations of a non-associative algebra, whereas the…
Contrary to standard statistical models, unnormalised statistical models only specify the likelihood function up to a constant. While such models are natural and popular, the lack of normalisation makes inference much more difficult. Here…
In the last two decades the structure of Extended Affine Lie algebras (EALA) is extensively studied. In explicitly constructing an EALA, the centerless Lie Torus play an important role. In this paper we consider the Universal central…
Intuitive psychology is a pillar of common-sense reasoning. The replication of this reasoning in machine intelligence is an important stepping-stone on the way to human-like artificial intelligence. Several recent tasks and benchmarks for…
We determine when there exists a nonzero homomorphism between principal series representations of a complex semisimple Lie group. We also determines the existence of homomorphisms between twisted Verma modules.
The Mazur principle give simple conditions for an irreducible unramified $\overline{\mathbb{F}_l}$-representation coming from a modular form of level $\Gamma_0(Np)$ to come for some modular form of level $\Gamma_0(N)$. The aim of this work…
We show that a topological pump in a one-dimensional (1D) insulator can induce a strictly quantized transport in an auxiliary chain of non-interacting fermions weakly coupled to the first. The transported charge is determined by an integer…
We put forward an adaptive alpha (Type I Error) that decreases as the information grows, for hypothesis tests in which nested linear models are compared. A less elaborate adaptation was already presented in \citet{PP2014} for comparing…
Assuming $\rm PFA$, we shall use internally club $\omega_1$-guessing models as side conditions to show that for every tree $T$ of height $\omega_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with…
A subset of a model of ${\sf PA}$ is called neutral if it does not change the $\mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in…
Assumption-based Argumentation (ABA) is a well-known structured argumentation formalism, whereby arguments and attacks between them are drawn from rules, defeasible assumptions and their contraries. A common restriction imposed on ABA…