TY  - RPRT
TI  - AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
AU  - Weilin Luo
AU  - Xueyi Liang
AU  - Haotian Deng
AU  - Yanan Liu
AU  - Hai Wan
PY  - 2025
UR  - https://arxiv.org/abs/2512.07501
ID  - 2512.07501
ER  -