RiskMiner: Entdeckung formelbasierter Alphas durch risikosuchende Monte Carlo Baum-Suche | Synapse