Raven Rothkopf

1. Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
   2024/06/11 by William S. Murphy, Murphy, William, Nikolaus Holzer +11 · 2 citations
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG)
2. Rose: Composable Autodiff for the Interactive Web
   2024/02/27 by Sam Estep, Wode Ni, Estep, Sam +5 · 1 voice
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
3. Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
   2024/02/24 by Raven Rothkopf, Rothkopf, Raven, Hannah Tongxin Zeng +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation