61 citations · 131 across the 9 of their papers we have counts for
7 papers · 1 filter
Projected Distillation: On Learning to Solve Hard Problems from Close, Correct Targets
Shripad V. Deshmukh, Christian Bock, Kangrui Ruan +4
On-policy learning is central to post-training: training on a model's own generations limits distribution shift and helps preserve existing capabilities. On hard problems, however,…
ANTE: Anticipate, Then Execute -- Learning Internal World Models for Coding Agents from Verified Beliefs
Yi Ge, Kangrui Ruan, Jifan Chen +6
Rapid advances in large language models have made software engineering agents capable of tackling complex coding tasks. Within a containerized environment, a coding agent receives…
Online Time Series Anomaly Detection with State Space Gaussian Processes
Christian Bock, François-Xavier Aubet, Jan Gasthaus +3
We propose r-ssGPFA, an unsupervised online anomaly detection model for uni- and multivariate time series building on the efficient state space formulation of Gaussian processes. F…
Path Imputation Strategies for Signature Models of Irregular Time Series
Michael Moor, Max Horn, Christian Bock +2
The signature transform is a 'universal nonlinearity' on the space of continuous vector-valued paths, and has received attention for use in machine learning on time series. However…
Set Functions for Time Series
Max Horn, Michael Moor, Christian Bock +2
Despite the eminent successes of deep neural networks, many architectures are often hard to transfer to irregularly-sampled and asynchronous time series that commonly occur in real…
Machine learning for early prediction of circulatory failure in the intensive care unit
Stephanie L. Hyland, Martin Faltys, Matthias Hüser +12
Intensive care clinicians are presented with large quantities of patient information and measurements from a multitude of monitoring systems. The limited ability of humans to proce…
Neural Persistence: A Complexity Measure for Deep Neural Networks Using Algebraic Topology
Bastian Rieck, Matteo Togninalli, Christian Bock +4
While many approaches to make neural networks more fathomable have been proposed, they are restricted to interrogating the network with input data. Measures for characterizing and…