Specification Mining For Machine Improvisation With Formal Specifications, Valle, Rafael, Donzé Alexandre, Fremont Daniel, Akkaya Ilge, Seshia Sanjit, Freed Adrian, and Wessel David , ACM : Computers in Entertainment (Musical Metacreation), 2016, Volume 14 Issue 3, (2016) Abstract  Download: msm16.pdf (795.48 KB)

Learning and Visualizing Music Specifications Using Pattern Graphs, Valle, Rafael, Fremont Daniel J., Akkaya Ilge, Donzé Alexandre, Freed Adrian, and Seshia Sanjit A. , ISMIR 2016, New York, (2016) Abstract  Download: 280_Paper.pdf (972.85 KB)