3 citations · 4 across the 2 of their papers we have counts for
2 papers
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…
cs.AI2019★ 3 cited
Representation Learning for Classical Planning from Partially Observed Traces
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo +2
Specifying a complete domain model is time-consuming, which has been a bottleneck of AI planning technique application in many real-world scenarios. Most classical domain-model lea…