Stefan Kuhlmann
YOU?
Author Swipe
View article: IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation Open
As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of mathematical knowledge. However, existing benchmarks are l…
View article: Integer Carathéodory results with bounded multiplicity
Integer Carathéodory results with bounded multiplicity Open
The integer Carathéodory rank of a pointed rational cone C is the smallest number k such that every integer vector contained in C is an integral non-negative combination of at most k Hilbert basis elements. We investigate the integer Carat…
View article: New Bounds for the Integer Carathéodory Rank
New Bounds for the Integer Carathéodory Rank Open
Given a rational pointed n-dimensional cone C, we study the integer Caratheodory rank CR(C) and its asymptotic form CR^a(C), where we consider “most” integer vectors in the cone. The main result significantly improves the previously known …
View article: On Matrices over a Polynomial Ring with Restricted Subdeterminants
On Matrices over a Polynomial Ring with Restricted Subdeterminants Open
View article: Evaluating Public Research and Innovation Policies: A Short History of Co-evolution
Evaluating Public Research and Innovation Policies: A Short History of Co-evolution Open
In this article, we present the mutually development of R&I policies and R&I policy evaluation with a specific focus on Germany and the EU. We show that there has been considerable development in the field of R&I policy evaluation over the…
View article: On Matrices over a Polynomial Ring with Restricted Subdeterminants
On Matrices over a Polynomial Ring with Restricted Subdeterminants Open
This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We invest…
View article: Integer Carathéodory results with bounded multiplicity
Integer Carathéodory results with bounded multiplicity Open
The integer Carathéodory rank of a pointed rational cone $C$ is the smallest number $k$ such that every integer vector contained in $C$ is an integral non-negative combination of at most $k$ Hilbert basis elements. We investigate the integ…
View article: Fostering Transformation. A Governance Frame for Large Private and Public Organisations as Critical Actors in Transformations
Fostering Transformation. A Governance Frame for Large Private and Public Organisations as Critical Actors in Transformations Open
View article: Improving distributed intelligence in complex innovation systems
Improving distributed intelligence in complex innovation systems Open
Science and technology (S&T) are considered to be a central source, or at least a basic medium, of societal and industrial innovation, while innovation is conceived to basically feed the regeneration of our welfare. The suppliers of S&T in…
View article: RCN in the Norwegian Research and Innovation System
RCN in the Norwegian Research and Innovation System Open
RCN is one of a number of actors in the innovation infrastructure: the institutions which support the processes of creating and using knowledge. The other important actors include SND, which provides grants and loans for economic developme…
View article: A singular council. Evaluation of the Research Council of Norway
A singular council. Evaluation of the Research Council of Norway Open
View article: Analysis of heterogeneous collaboration in the german research system with a focus on nanotechnology
Analysis of heterogeneous collaboration in the german research system with a focus on nanotechnology Open
The German research system is functionally differentiated into various institutional pillars, most importantly the university system and the extra-university sector including institutes of the Helmholtz Association, the Max Planck Society,…
View article: Identifying creative research accomplishments: Methodology and results for nanotechnology and human genetics
Identifying creative research accomplishments: Methodology and results for nanotechnology and human genetics Open
Motivated by concerns about the organizational and institutional conditions that foster research creativity in science, we focus on how creative research can be defined, operationalized, and empirically identified. A functional typology of…
View article: Governance der Kooperation heterogener Partner im deutschen Forschungs- und Innovationssystem
Governance der Kooperation heterogener Partner im deutschen Forschungs- und Innovationssystem Open
View article: Informationen zur Forschungsevaluation in Deutschland - Erzeuger und Bedarf
Informationen zur Forschungsevaluation in Deutschland - Erzeuger und Bedarf Open
View article: Proximity and flatness bounds for linear integer optimization
Proximity and flatness bounds for linear integer optimization Open
We develop a technique that can be applied to provide improved upper bounds for two important questions in linear integer optimization. - Proximity bounds: Given an optimal vertex solution for the linear relaxation, how far away is the nea…
View article: New Bounds for the Integer Carathéodory Rank
New Bounds for the Integer Carathéodory Rank Open
Given a rational pointed $n$-dimensional cone $C$, we study the integer Carathéodory rank $\operatorname{CR}(C)$ and its asymptotic form $\operatorname{CR^{\rm a}}(C)$, where we consider ``most'' integer vectors in the cone. The main resul…
View article: Improving the Cook et al. Proximity Bound Given Integral Valued Constraints
Improving the Cook et al. Proximity Bound Given Integral Valued Constraints Open
Consider a linear program of the form $\max\;c^{\top}x:Ax\leq b$, where $A$ is an $m\times n$ integral matrix. In 1986 Cook, Gerards, Schrijver, and Tardos proved that, given an optimal solution $x^{*}$, if an optimal integral solution $z^…
View article: On lattice width of lattice-free polyhedra and height of Hilbert bases
On lattice width of lattice-free polyhedra and height of Hilbert bases Open
We study the lattice width of lattice-free polyhedra given by $\mathbf{A}\mathbf{x}\leq\mathbf{b}$ in terms of $Δ(\mathbf{A})$, the maximal $n\times n$ minor in absolute value of $\mathbf{A}\in\mathbb{Z}^{m\times n}$. Our main contribution…
View article: Global resilience through knowledge-based cooperation: a new Protocol for Science Diplomacy
Global resilience through knowledge-based cooperation: a new Protocol for Science Diplomacy Open
The world is currently dealing with one of the most severe health, economic and social crises in recent memory, through coronavirus disease 2019 (COVID-19). Scholars are converging on the perspective that traditional means of addressing th…
View article: Reshape science diplomacy for an interconnected world
Reshape science diplomacy for an interconnected world Open
For Europe, simply aspiring to be a global climate leader is not enough. It also requires leading the development of new approaches to many pressing policy questions, most of which feature a large element of science and technology. Science…
View article: Correction to: The incandescent light bulb phase-out: exploring patterns of framing the governance of discontinuing a socio-technical regime
Correction to: The incandescent light bulb phase-out: exploring patterns of framing the governance of discontinuing a socio-technical regime Open
View article: Creating an interaction space for science diplomacy: meta-governance principles in action
Creating an interaction space for science diplomacy: meta-governance principles in action Open
View article: Policy lensing of future-oriented strategic intelligence: An experiment connecting foresight with decision making contexts
Policy lensing of future-oriented strategic intelligence: An experiment connecting foresight with decision making contexts Open
View article: The incandescent light bulb phase-out: exploring patterns of framing the governance of discontinuing a socio-technical regime
The incandescent light bulb phase-out: exploring patterns of framing the governance of discontinuing a socio-technical regime Open
Research interest This paper aims at a better understanding of the governance of the abandonment of socio-technical regimes through the example of the incandescent light bulb phase-out in the European Union and in the Netherlands as one sp…
View article: Global resilience through knowledgebased cooperation: A New Protocol for Science Diplomacy
Global resilience through knowledgebased cooperation: A New Protocol for Science Diplomacy Open
This deliverable outlines the new Protocol for Science Diplomacy presented in a policy brief which inspires the alignment of shared, cosmopolitan interests and their application to cross-border societal challenges. It comprises a set of tw…
View article: Emerging innovations as systems
Emerging innovations as systems Open
View article: Epistemic corruption
Epistemic corruption Open
View article: A New Political Sociology of Science
A New Political Sociology of Science Open
View article: Datafying non-humans
Datafying non-humans Open