Wu, R., Saxena, N. and Jain, R. (2022) “NeuralArTS: Structuring Neural Architecture Search with Type Theory (Student Abstract)”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(11), pp. 13085-13086. doi: 10.1609/aaai.v36i11.21679.