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