18 citations · 20 across the 14 of their papers we have counts for
1 paper · 2 filters
Baoding He, Zenan Li, Wei Sun +4
Formal verification via interactive theorem proving is increasingly used to ensure the correctness of critical systems, yet constructing large proof scripts remains highly manual a…