3 papers
cs.SD2026
Sori: Streamable and Controllable Model for Non-musical Audio to Symbolic Music Transformation
Kyungsu Kim, Yejin Kim, Kyogu Lee
We introduce Non-musical Audio to Symbolic Music Transformation (NASMT), a novel task that converts non-musical audio into symbolic music representations. Unlike automatic music tr…
cs.LO2026
A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
Florian Bruse, Martin Lange
We investigate the possibility to separate the bisimulation-invariant fragment of P from that of NP, resp. PSPACE. We build on Otto's Theorem stating that the bisimulation-invarian…
cs.LO2025
Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
Florian Bruse, David Kronenberger, Martin Lange
The characterization of PSPACE-queries over ordered structures as exactly those expressible in first-order logic with partial fixpoints (Vardi'82) is one of the classical results i…