$\Text{alpha}^2$: Discovering Logical Formulaic Alphas Using Deep Reinforcement Learning | AMiner