RiskMiner: Discovering Formulaic Alphas via Risk Seeking Monte Carlo Tree Search | Synapse