Murphy, William

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 Murphy, William, Holzer, Nikolaus, Koenig, Nathan +4 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)