8 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.LG2023
Probabilistic Regular Tree Priors for Scientific Symbolic Reasoning
Tim Schneider, Amin Totounferoush, Wolfgang Nowak +1
Symbolic Regression (SR) allows for the discovery of scientific equations from data. To limit the large search space of possible equations, prior knowledge has been expressed in te…
cs.LG2022★ 8 cited
Detecting Anomalies within Time Series using Local Neural Transformations
Tim Schneider, Chen Qiu, Marius Kloft +4
We develop a new method to detect anomalies within time series, which is essential in many application domains, reaching from self-driving cars, finance, and marketing to medical d…
cs.LG2020
Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications
Eric Wong, Tim Schneider, Joerg Schmitt +2
Recent work has shown that it is possible to learn neural networks with provable guarantees on the output of the model when subject to input perturbations, however these works have…