LLM2SMT: Building an SMT Solver with Zero Human-Written Code
AI use, as the source states it
“We present a case study in which an LLM coding agent builds a complete DPLL(T)-style SMT solver for QF_UF with zero human-written code.”
Named here, or see a mistake? Write to privacy@papex.org.