works on
co-evolution 1large language models 1rubric generation 1solver improvement 1text-space optimization 1

From the 1 of 2 linked papers with an AI index.

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025★ 1 cited

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…