vix.ing · top · new · best · stats · spec

Grove, David

  1. Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
    2025/07/17 by Aaron Councilman, Zhenming Fu, Councilman, Aaron +11 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Programming Languages (cs.PL)