A categorial grammar for music and its use in automatic melody generation. - Halley Young (FARM@ICFP, 2017)

Algorithm as Determinant of Form in Music. - Halley Young (ICCC, 2019)

Learning Neurosymbolic Generative Models via Program Synthesis. - Halley Young; Osbert Bastani; Mayur Naik (ICML, 2019)

A First-Order Theory of Film Scores for Generation from Lightweight Specifications. - Halley Young (AIIDE Workshops, 2021)

Compositional Steering of Music Transformers 66-80. - Halley Young; Vincent Dumoulin; Pablo S. Castro; Jesse H. Engel; Cheng-Zhi Anna Huang (IUI Workshops, 2022)

Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints. - Halley Young; Maxwell Du; Osbert Bastani (NeurIPS, 2022)

Undecidability Results and Their Relevance in Modern Music Making. - Halley Young (CoRR, 2023)

Deriving Desirable Artistic Generative Distributions from Individual Identity Statements. - Halley Young (IUI Workshops, 2024)

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting. - Halley Young; Yimeng Zeng; Jacob R. Gardner; Osbert Bastani (CoRR, 2024)