2 papers
q-fin.CP2022
Supervised machine learning classification for short straddles on the S&P500
Alexander Brunhuemer, Lukas Larcher, Philipp Seidl +3
In this working paper we present our current progress in the training of machine learning models to execute short option strategies on the S&P500. As a first step, this paper is br…
cs.LO2018
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst
Education in the practical applications of logic and proving such as the formal specification and verification of computer programs is substantially hampered by the fact that most…