Raven Rothkopf

13 papers A* 1A 1B 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
HiLDE: Intentional Code Generation via Human-in-the-Loop Decoding.
VL/HCC
Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova
2025 J jnl
HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding.
CoRR
Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova
2025 B conf
The Command Line GUIde: Graphical Interfaces from Man Pages via AI.
VL/HCC
Saketh Ram Kasibatla, Kiran Medleri Hiremath, Raven Rothkopf, Sorin Lerner, Haijun Xia, Brian Hempel
2025 J jnl
The Command Line GUIde: Graphical Interfaces from Man Pages via AI.
CoRR
Saketh Ram Kasibatla, Kiran Medleri Hiremath, Raven Rothkopf, Sorin Lerner, Haijun Xia, Brian Hempel
2024 J jnl
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis.
CoRR
William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito
2024 A* conf
Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game.
EMNLP
Prisha Samadarshi, Mariam Mustafa, Anushka Kulkarni, Raven Rothkopf, Tuhin Chakrabarty, Smaranda Muresan
2024 J jnl
Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game.
CoRR
Prisha Samadarshi, Mariam Mustafa, Anushka Kulkarni, Raven Rothkopf, Tuhin Chakrabarty, Smaranda Muresan
2024 J jnl
Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis.
CoRR
Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito
2024 J jnl
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control.
CoRR
William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito
2024 J jnl
Rose: Composable Autodiff for the Interactive Web (Artifact).
Dagstuhl Artifacts Ser.
Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine
2024 A conf
Rose: Composable Autodiff for the Interactive Web.
ECOOP
Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine
2024 J jnl
Rose: Efficient and Extensible Autodiff on the Web.
CoRR
Sam Estep, Raven Rothkopf, Wode Ni, Joshua Sunshine
2023 — conf
Rose: Extensible Autodiff on the Web.
SPLASH Companion
Raven Rothkopf