Search papers, labs, and topics across Lattice.
University of Pennsylvania
3
0
5
The Composition event series has successfully bridged the gap between art and technology, sparking vibrant community engagement and collaboration.
Formalizing music theory in Lean 4 paves the way for verifiable algorithmic composition, transforming how we generate and analyze music.
Content moderation systems, designed to protect users, may inadvertently cripple LLMs' ability to function as effective therapists by censoring crucial topics in real therapy sessions.
