11 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
Chuyue Sun, Su Fong, Zhiyi Kuang +5
Cryptographic code is critical infrastructure that must be correct, yet formally verifying production libraries remains difficult. Existing language-model proof systems solve isola…