arXiv: AI for sleep / behavior / health coaching
CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action
CEDAR: 언어 유도 체화 행동을 위한 검증 가능한 인터페이스로서의 오토마타
No write-up yet — this entry is still just the auto-fetched hook. Aaron's own summary (200–500 words) will replace this note once he's written it.