8 citations · 9 across the 19 of their papers we have counts for
1 paper · 1 filter
Jinyi Zhou, Zenan Li, Yuan Yao +3
Interactive theorem provers can provide strong correctness guarantees for software, but constructing the proofs remains a challenging and labor-intensive task. Inspired by the rece…