14 citations
4 papers
From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
Cedric Haufe, Frieder Stolzenburg
We present a neurosymbolic approach, i.e. combine symbolic and subsymbolic artificial intelligence, to validating offer documents in regulated public institutions. We employ a lang…
Nonparametric estimation of the multivariate Spearman's footrule: a further discussion
Ana Pérez, Mercedes Prieto-Alaiz, Fernando Chamizo +2
In this paper, we propose two new estimators of the multivariate rank correlation coefficient Spearman's footrule which are based on two general estimators for Average Orthant Depe…
Quantum energy inequalities in integrable models with several particle species and bound states
Henning Bostelmann, Daniela Cadamuro, Jan Mandrysch
We investigate lower bounds to the time-smeared energy density, so-called quantum energy inequalities (QEI), in the class of integrable models of quantum field theory. Our main res…
Phylogenetic consensus networks: Computing a consensus of 1-nested phylogenetic networks
Katharina T. Huber, Vincent Moulton, Andreas Spillner
An important and well-studied problem in phylogenetics is to compute a \emph{consensus tree} so as to summarize the common features within a collection of rooted phylogenetic trees…