Halley Young

12 papers A* 2C 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology.
CoRR
Halley Young
2024 — conf
Deriving Desirable Artistic Generative Distributions from Individual Identity Statements.
IUI Workshops
Halley Young
2024 J jnl
Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting.
CoRR
Halley Young, Yimeng Zeng, Jacob R. Gardner, Osbert Bastani
2023 J jnl
Undecidability Results and Their Relevance in Modern Music Making.
CoRR
Halley Young
2022 — conf
Compositional Steering of Music Transformers 66-80.
IUI Workshops
Halley Young, Vincent Dumoulin, Pablo S. Castro, Jesse H. Engel, Cheng-Zhi Anna Huang
2022 A* conf
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints.
NeurIPS
Halley Young, Maxwell Du, Osbert Bastani
2021 — conf
A First-Order Theory of Film Scores for Generation from Lightweight Specifications.
AIIDE Workshops
Halley Young
2019 C conf
Algorithm as Determinant of Form in Music.
ICCC
Halley Young
2019 A* conf
Learning Neurosymbolic Generative Models via Program Synthesis.
ICML
Halley Young, Osbert Bastani, Mayur Naik
2019 J jnl
Learning Neurosymbolic Generative Models via Program Synthesis.
CoRR
Halley Young, Osbert Bastani, Mayur Naik
2019 — conf
Learning Neurosymbolic Generative Models via Program synthesis.
DeepRLStructPred@ICLR
Halley Young, Osbert Bastani, Mayur Naik
2017 — conf
A categorial grammar for music and its use in automatic melody generation.
FARM@ICFP
Halley Young