Title resolution pending

Youyou Cong · 2023 · arXiv 9023.360980

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4

cs.LO · 2026-06-18 · unverdicted · novelty 6.0

Presents a Lean 4 library that encodes music-theoretic rules to support machine-checked algorithmic composition.

citing papers explorer

Showing 1 of 1 citing paper after filters.

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 cs.LO · 2026-06-18 · unverdicted · none · ref 6
Presents a Lean 4 library that encodes music-theoretic rules to support machine-checked algorithmic composition.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer