"au:"Raven Rothkopf"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Raven Rothkopf"" — arXiv2 Search

Showing 1–8 of 8 results

/ Date/ Name

May 28, 2025HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding Feb 24, 2024Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents Feb 27, 2024Rose: Composable Autodiff for the Interactive Web Jun 16, 2024Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game Sep 18, 2024Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis Jun 11, 2024Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control Oct 1, 2025The Command Line GUIde: Graphical Interfaces from Man Pages via AI Apr 6, 2026Decision-Oriented Programming with Aporia