Raven Rothkopf

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Temporal Constraints

Information Gathering

Top Venues

SPLASH Companion

Publications

Prisha Samadarshi, Mariam Mustafa, Anushka Kulkarni, Raven Rothkopf, Tuhin Chakrabarty, Smaranda Muresan
Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game. CoRR (2024)
William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. CoRR (2024)
Sam Estep, Raven Rothkopf, Wode Ni, Joshua Sunshine
Rose: Efficient and Extensible Autodiff on the Web. CoRR (2024)
Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito
Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis. CoRR (2024)
Raven Rothkopf
Rose: Extensible Autodiff on the Web. SPLASH Companion (2023)