NeuralArTS: Structuring Neural Architecture Search with Type Theory