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

Jiehao Wu

  1. SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
    2025/02/20 by Junjie Sheng, Lin Ye, Sheng, Junjie +12 · 1 voice · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #cs.SE