Rothkopf, Raven

1. Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
   2024/09/18 by Murphy, William, Holzer, Nikolaus, Qiao, Feitong +4 · 5 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
2. 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)
3. Rose: Composable Autodiff for the Interactive Web
   2024/02/27 by Sam Estep, Estep, Sam, Wode Ni +5 · 1 voice
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
4. 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