2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Austin Shen, Yunong Shi
Automated theorem proving systems built on Lean 4 increasingly rely on parallel tactic search over partially specified proofs, such as those generated by Draft-Sketch-Prove (DSP) p…