Rose: Extensible Autodiff on the Web. - Raven Rothkopf (SPLASH Companion, 2023)

Rose: Composable Autodiff for the Interactive Web. - Sam Estep; Wode Ni; Raven Rothkopf; Joshua Sunshine (ECOOP, 2024)

Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game. - Prisha Samadarshi; Mariam Mustafa; Anushka Kulkarni; Raven Rothkopf; Tuhin Chakrabarty; Smaranda Muresan (EMNLP, 2024)

Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis. - Raven Rothkopf; Hannah Tongxin Zeng; Mark Santolucito (CoRR, 2024)

Rose: Efficient and Extensible Autodiff on the Web. - Sam Estep; Raven Rothkopf; Wode Ni; Joshua Sunshine (CoRR, 2024)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. - William Murphy; Nikolaus Holzer; Nathan Koenig; Leyi Cui; Raven Rothkopf; Feitong Qiao; Mark Santolucito (CoRR, 2024)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis. - William Murphy; Nikolaus Holzer; Feitong Qiao; Leyi Cui; Raven Rothkopf; Nathan Koenig; Mark Santolucito (CoRR, 2024)

Rose: Composable Autodiff for the Interactive Web (Artifact). - Sam Estep; Wode Ni; Raven Rothkopf; Joshua Sunshine (Dagstuhl Artifacts Ser., 2024)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding. - Emmanuel Anaya Gonzalez; Raven Rothkopf; Sorin Lerner; Nadia Polikarpova (CoRR, 2025)