FactorEngine: A Program-level Knowledge-Infused Factor Mining Framework for Quantitative Investment | ScienceToStartup | ScienceToStartup