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