Qiao, Feitong

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. Can LLM Prompting Serve as a Proxy for Static Analysis in Vulnerability Detection
   2024/12/16 by Ira Ceka, Ceka, Ira, Qiao, Feitong +6 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Security and Intrusion Detection #Software Engineering (cs.SE)