1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Jianan Yao, Ziqiao Zhou, Weiteng Chen +1
Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption. Recently, Large Language Mode…