Wu R, Saxena N, Jain R. NeuralArTS: Structuring Neural Architecture Search with Type Theory (Student Abstract). AAAI [Internet]. 2022 Jun. 28 [cited 2026 May 25];36(11):13085-6. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/21679