most citedTeaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models

6 citations · 6 across the 2 of their papers we have counts for

collaborators
Showing q-fin.CPShow all

1 paper · 1 filter

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…