Wu, R.; Saxena, N.; Jain, R. NeuralArTS: Structuring Neural Architecture Search With Type Theory (Student Abstract). AAAI 2022, 36, 13085-13086.