activity
20102026
most citedBounded variation and the strength of Helly's selection theorem

16 citations · 67 across the 20 of their papers we have counts for

collaborators

21 papers

cs.IR2026

Single-Token Expected-Value Scoring for Cold-Start Candidate Ranking

Qihang Wang, Jinwei Tan, Mengyuan Shi +8

AI-assisted sourcing streamlines candidate review, reducing the administrative burden of manual screening for recruiters. However, deploying language models as production rankers r…

math.HO2022

Helmut Karzel (1928-2021)

Hans Havlicek, Alexander Kreuzer, Hans-Joachim Kroll +1

Obituary for Professor Dr. Dr. h.c. Helmut Karzel, who passed away on June 22, 2021, at the age of 93.

cs.LG2019★ 1 cited

WaLDORf: Wasteless Language-model Distillation On Reading-comprehension

James Yi Tian, Alexander P. Kreuzer, Pai-Hung Chen +1

Transformer based Very Large Language Models (VLLMs) like BERT, XLNet and RoBERTa, have recently shown tremendous performance on a large variety of Natural Language Understanding (…

stat.ME2019★ 4 cited

Bayesian inference for dynamic vine copulas in higher dimensions

Alexander Kreuzer, Claudia Czado

We propose a class of dynamic vine copula models. This is an extension of static vine copulas and a generalization of dynamic C-vine and D-vine copulas studied by Almeida et al (20…

stat.ME2019★ 2 cited

Bayesian Multivariate Nonlinear State Space Copula Models

Alexander Kreuzer, Luciana Dalla Valle, Claudia Czado

In this paper we propose a flexible class of multivariate nonlinear non-Gaussian state space models, based on copulas. More precisely, we assume that the observation equation and t…

stat.AP2019★ 3 cited

A Bayesian Non-linear State Space Copula Model to Predict Air Pollution in Beijing

Alexander Kreuzer, Luciana Dalla Valle, Claudia Czado

Air pollution is a serious issue that currently affects many industrial cities in the world and can cause severe illness to the population. In particular, it has been proven that e…

stat.CO2019

Efficient Bayesian inference for nonlinear state space models with univariate autoregressive state equation

Alexander Kreuzer, Claudia Czado

Latent autoregressive processes are a popular choice to model time varying parameters. These models can be formulated as nonlinear state space models for which inference is not str…

stat.CO2018★ 2 cited

Bayesian inference for a single factor copula stochastic volatility model using Hamiltonian Monte Carlo

Alexander Kreuzer, Claudia Czado

For modeling multivariate financial time series we propose a single factor copula model together with stochastic volatility margins. This model generalizes single factor models rel…

stat.ME2017★ 1 cited

Heavy tailed spatial autocorrelation models

A. Kreuzer, T. Erhardt, T. Nagler +1

Appropriate models for spatially autocorrelated data account for the fact that observations are not independent. A popular model in this context is the simultaneous autoregressive…

math.HO2017

Obituary: Walter Benz (1931-2017)

Alexander Kreuzer, Hans Havlicek

Emeritus Professor Dr. Dr. h.c. Walter Benz passed away on 13 January 2017.

math.LO2015

A lower bound on Gowers' FIN_k theorem

Alexander P. Kreuzer

Gowers' FIN theorem, also called Gowers' pigeonhole principle or Gowers' theorem, is a Ramsey-type theorem. It first occurred in the study of Banach space theory and is a natur…

math.LO2015★ 6 cited

On the Uniform Computational Content of the Baire Category Theorem

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer

We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole prin…

math.LO2015★ 13 cited

On the Uniform Computational Content of Computability Theory

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer

We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of th…

math.LO2013

Measure theory and higher order arithmetic

Alexander P. Kreuzer

We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take . The system $\mathsf{ACA}_0…

math.LO2013★ 16 cited

Bounded variation and the strength of Helly's selection theorem

Alexander P. Kreuzer

We analyze the strength of Helly's selection theorem HST, which is the most important compactness theorem on the space of functions of bounded variation. For this we utilize a new…

math.LO2013★ 1 cited

On principles between - and -induction, and monotone enumerations

Alexander P. Kreuzer, Keita Yokoyama

We show that many principles of first-order arithmetic, previously only known to lie strictly between -induction and -induction, are equivalent to the well-foundedness of…

math.LO2013★ 2 cited

Minimal idempotent ultrafilters and the Auslander-Ellis theorem

Alexander P. Kreuzer

We characterize the existence of minimal idempotent ultrafilters (on N) in the style of reverse mathematics and higher-order reverse mathematics using the Auslander-Ellis theorem a…

math.LO2012★ 2 cited

On idempotent ultrafilters in higher-order reverse mathematics

Alexander P. Kreuzer

We analyze the strength of the existence of idempotent ultrafilters in higher-order reverse mathematics. Let (Uidem) be the statement that an idempotent ultrafilter on the natural…

math.LO2011★ 6 cited

Non-principal ultrafilters, program extraction and higher order reverse mathematics

Alexander P. Kreuzer

We investigate the strength of the existence of a non-principal ultrafilter over fragments of higher order arithmetic. Let U be the statement that a non-principal ultrafilter exist…

math.LO2011★ 1 cited

On the strength of weak compactness

Alexander P. Kreuzer

We study the logical and computational strength of weak compactness in the separable Hilbert space \ell_2. Let weak-BW be the statement the every bounded sequence in \ell_2 has a w…

math.LO2010★ 7 cited

The cohesive principle and the Bolzano-Weierstraß principle

Alexander P. Kreuzer

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstraß principle (BW) and a weak variant of it. We show that BW is inst…