English
Related papers

Related papers: Cone-Induced Observation Congruences for Vector-Va…

200 papers

For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order…

Logic in Computer Science · Computer Science 2020-01-14 Thomas Ehrhard

Detecting semantic similarities between sentences is still a challenge today due to the ambiguity of natural languages. In this work, we propose a simple approach to identifying semantically similar questions by combining the strengths of…

Computation and Language · Computer Science 2020-06-09 Yoan Dimitrov

We introduce the notion of a bounded weight function on a language, and show that the set of bounded weight functions on a regular language is a rational polyhedral cone. We study the cell recognised by a bounded weight function (that is,…

Group Theory · Mathematics 2025-10-21 J. Guilhot , E. Little , J. Parkinson

We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…

Algebraic Geometry · Mathematics 2019-03-05 Alexander Kuznetsov , Alexander Perry

Let $X$ be a smooth projective variety over the complex numbers. One knows by the Cone Theorem that the closed cone of curves of $X$ is rational polyhedral whenever $c_1(X)$ is ample. For varieties $X$ such that $c_1(X)$ is not ample,…

alg-geom · Mathematics 2007-05-23 Thomas Bauer

The method of vector coherent states is generalized to study representations of the affine Lie algebra $\hat{sl}(2)$. A large class of highest weight irreps is explicitly constructed, which contains the integrable highest weight irreps as…

q-alg · Mathematics 2009-10-30 R. B. Zhang

We present Convolutional Oriented Boundaries (COB), which produces multiscale oriented contours and region hierarchies starting from generic image classification Convolutional Neural Networks (CNNs). COB is computationally efficient,…

Computer Vision and Pattern Recognition · Computer Science 2016-11-17 Kevis-Kokitsi Maninis , Jordi Pont-Tuset , Pablo Arbeláez , Luc Van Gool

Deep neural networks with discrete latent variables offer the promise of better symbolic reasoning, and learning abstractions that are more useful to new tasks. There has been a surge in interest in discrete latent variable models, however,…

Machine Learning · Computer Science 2018-07-23 Aurko Roy , Ashish Vaswani , Arvind Neelakantan , Niki Parmar

We investigate the properties of a class of piecewise-fractional maps arising from the introduction of an invariance under rescaling into convex quadratic maps. The subsequent maps are quasiconvex, and pseudoconvex on specific convex cones;…

Optimization and Control · Mathematics 2025-04-25 Alexandra Zverovich , Matthew Hutchings , Bertrand Gauthier

Coherent discourse is distinguished from a mere collection of utterances by the satisfaction of a diverse set of constraints, for example choice of expression, logical relation between denoted events, and implicit compatibility with…

Computation and Language · Computer Science 2021-05-11 Anne Beyer , Sharid Loáiciga , David Schlangen

The gradients of convex functions are expressive models of non-trivial vector fields. For example, Brenier's theorem yields that the optimal transport map between any two measures on Euclidean space under the squared distance is realized as…

Machine Learning · Computer Science 2021-11-25 Jack Richter-Powell , Jonathan Lorraine , Brandon Amos

We discuss optimization problems over convex cones in which membership is difficult to verify directly. In the standard theory of duality, vectors in the dual cone $K^*$ are associated with separating hyperplanes and interpreted as…

Optimization and Control · Mathematics 2026-03-27 Joonyeob Lee , Dávid Papp , Anita Varga

This paper is about conic intrinsic volumes and their associated integral geometry. We pay special attention to the biconic localizations of the conic intrinsic volumes, the so-called support measures. An analysis of these quantities has so…

Metric Geometry · Mathematics 2015-07-30 Dennis Amelunxen

In the last few years the systematic adoption of deep learning to visual generation has produced impressive results that, amongst others, definitely benefit from the massive exploration of convolutional architectures. In this paper, we…

Machine Learning · Computer Science 2020-02-10 Giuseppe Marra , Francesco Giannini , Michelangelo Diligenti , Marco Gori

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

Quantum Algebra · Mathematics 2013-11-01 Yi-Zhi Huang

Despite recent successes of large pre-trained language models in solving reasoning tasks, their inference capabilities remain opaque. We posit that such models can be made more interpretable by explicitly generating interim inference rules,…

Computation and Language · Computer Science 2021-06-07 Debjit Paul , Anette Frank

Convolutional Neural Networks (ConvNets) are one of the most promising methods for identifying strong gravitational lens candidates in survey data. We present two ConvNet lens-finders which we have trained with a dataset composed of real…

We propose a framework for conditional vector quantile regression (CVQR) that combines neural optimal transport with amortized optimization, and apply it to multivariate conformal prediction. Classical quantile regression does not extend…

Learning concepts that are consistent with human perception is important for Deep Neural Networks to win end-user trust. Post-hoc interpretation methods lack transparency in the feature representations learned by the models. This work…

Computer Vision and Pattern Recognition · Computer Science 2021-05-25 Sandareka Wickramanayake , Wynne Hsu , Mong Li Lee

Word embedding is a useful approach to capture co-occurrence structures in large text corpora. However, in addition to the text data itself, we often have additional covariates associated with individual corpus documents---e.g. the…

Computation and Language · Computer Science 2018-07-10 Kevin Tian , Teng Zhang , James Zou