collaborators

1 paper

cs.SE2025

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution

Weilin Luo, Xueyi Liang, Haotian Deng +2

Automatically synthesizing verifiable code from natural language requirements ensures software correctness and reliability while significantly lowering the barrier to adopting the…