1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…