R. Wu, N. Saxena, and R. Jain, “NeuralArTS: Structuring Neural Architecture Search with Type Theory (Student Abstract)”, AAAI, vol. 36, no. 11, pp. 13085-13086, Jun. 2022.