Alexander Brunhuemer

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 2

Top Topics

Theoretical Models

Benchmark Datasets

Supervised Machine Learning

Question Answering

Top Venues

Publications

Alexander Brunhuemer, Lukas Larcher, Philipp Seidl, Sascha Desmettre, Johannes Kofler, Gerhard Larcher
Supervised machine learning classification for short straddles on the S&P500. CoRR (2022)
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ThEdu@CADE (2017)