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

Li, Yihe

  1. Large Language Model Powered Symbolic Execution
    2025/04/02 by Yihe Li, Li, Yihe, Ruijie Meng +3 · 1 voice · 4 citations
    Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL