Raven Rothkopf

According to our database, Raven Rothkopf authored at least 8 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Rose: Composable Autodiff for the Interactive Web (Artifact).

Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine

Dagstuhl Artifacts Ser., 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

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

Rose: Efficient and Extensible Autodiff on the Web.

Sam Estep, Raven Rothkopf, Wode Ni, Joshua Sunshine

CoRR, 2024

Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis.

Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito

CoRR, 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

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Rose: Composable Autodiff for the Interactive Web.

Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Rose: Extensible Autodiff on the Web.

Raven Rothkopf

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023