English
Related papers

Related papers: Generating Bijections between HOAS and the Natural…

200 papers

We develop a new, intrinsic, computationally friendly approach to Lie coalgebras through graph coalgebras, which are new and likely to be of independent interest. Our graph coalgebraic approach has advantages both in finding relations…

Algebraic Topology · Mathematics 2009-01-16 Dev Sinha , Ben Walter

Conditional neural text generation models generate high-quality outputs, but often concentrate around a mode when what we really want is a diverse set of options. We present a search algorithm to construct lattices encoding a massive number…

Computation and Language · Computer Science 2022-05-04 Jiacheng Xu , Siddhartha Reddy Jonnalagadda , Greg Durrett

Let $k$ be a field. In this paper, we introduce the notions of $\textit{reduction order}$ and $\textit{reduction-factorization}$ on words, and use them to show that any right or left Noetherian pointed Hopf algebra over $k$ is affine. This…

Quantum Algebra · Mathematics 2025-12-01 Huan Jia , Yinhuo Zhang

Many language generation models are now available for a wide range of generation tasks, including machine translation and summarization. Combining such diverse models may lead to further progress, but ensembling generation models is…

Computation and Language · Computer Science 2022-10-31 Jungo Kasai , Keisuke Sakaguchi , Ronan Le Bras , Hao Peng , Ximing Lu , Dragomir Radev , Yejin Choi , Noah A. Smith

We consider approximating data structures with collections of the items that they contain. For examples, lists, binary trees, tuples, etc, can be approximated by sets or multisets of the items within them. Such approximations can be used to…

Logic in Computer Science · Computer Science 2007-08-17 Dale Miller

The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for…

Classical Analysis and ODEs · Mathematics 2020-07-20 Mario Santilli

In this paper we present a combinatorial proof of a relation between the generating functions of unicellular and bicellular maps. This relation is a consequence of the Schwinger-Dyson equation of matrix theory. Alternatively it can be…

Combinatorics · Mathematics 2013-01-31 Hillary S. W. Han , Christian M. Reidys

We introduce Hoop Diagrams, a new visualization technique for set data. Hoop Diagrams are a circular visualization with hoops representing sets and sectors representing set intersections. We present an interactive tool for drawing Hoop…

The Baxter number can be written as $B_n = \sum_0^n \Theta_{k,n-k-1}$. These numbers have first appeared in the enumeration of so-called Baxter permutations; $B_n$ is the number of Baxter permutations of size $n$, and $\Theta_{k,l}$ is the…

Combinatorics · Mathematics 2020-07-21 Stefan Felsner , Éric Fusy , Marc Noy , David Orden

We present a bijection between some quadrangular dissections of an hexagon and unrooted binary trees, with interesting consequences for enumeration, mesh compression and graph sampling. Our bijection yields an efficient uniform random…

Combinatorics · Mathematics 2008-10-21 Eric Fusy , Dominique Poulalhon , Gilles Schaeffer

We give a combinatorial proof of a recent result of B\'ona by constructing a bijection from the set of all neighbors of leaves of increasing trees of size $n$ to the set of derangements of length $n$.

Combinatorics · Mathematics 2022-10-12 Mario Midence-Ordóñez

In this paper, we provide an account of how to generate sentences with coordination constructions from clause-sized semantic representations. An algorithm is developed to generate sentences with ellipsis, gapping, right-node-raising, and…

cmp-lg · Computer Science 2007-05-23 James Shaw

Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational databases, object-oriented databases, and tagged XML documents to be…

Artificial Intelligence · Computer Science 2013-02-05 Daniel Buehrer , Chee-Hwa Lee

Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecomposable permutations; this sheds new light on the subject by…

Combinatorics · Mathematics 2008-12-03 Robert Cori

Hierarchical text classification (HTC) is a complex subtask under multi-label text classification, characterized by a hierarchical label taxonomy and data imbalance. The best-performing models aim to learn a static representation by…

Computation and Language · Computer Science 2024-02-23 Vidit Jain , Mukund Rungta , Yuchen Zhuang , Yue Yu , Zeyu Wang , Mu Gao , Jeffrey Skolnick , Chao Zhang

We construct a new bijection between the set of $n\times k$ $0$-$1$ matrices with no three $1$'s forming a $\Gamma$ configuration and the set of $(n,k)$-Callan sequences, a simple structure counted by poly-Bernoulli numbers. We give two…

Combinatorics · Mathematics 2019-11-28 Beáta Bényi , Gábor V. Nagy

We present a Bayesian method for the identification and classification of objects from sets of astronomical catalogs, given a predefined classification scheme. Identification refers here to the association of entries in different catalogs…

Instrumentation and Methods for Astrophysics · Physics 2015-06-15 Jörg P. Rachen

We study the set of NBC sets (no broken circuit sets) of the Linial arrangement and deduce a constructive bijection to the set of local binary search trees. We then generalize this construction to two families of Linial type arrangements…

Combinatorics · Mathematics 2014-12-01 David Forge

In this paper we introduce a new bijection from the set of Dyck paths to itself. This bijection has the property that it maps statistics that appeared recently in the study of pattern-avoiding permutations into classical statistics on Dyck…

Combinatorics · Mathematics 2007-05-23 Sergi Elizalde , Emeric Deutsch

Counterfactual explanations (CEs) are a practical tool for demonstrating why machine learning classifiers make particular decisions. For CEs to be useful, it is important that they are easy for users to interpret. Existing methods for…

Machine Learning · Computer Science 2021-03-17 Lisa Schut , Oscar Key , Rory McGrath , Luca Costabello , Bogdan Sacaleanu , Medb Corcoran , Yarin Gal