5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Shaonan Wu, Shuai Lu, Yeyun Gong +2
Formal proofs are challenging to write even for experienced experts. Recent progress in Neural Theorem Proving (NTP) shows promise in expediting this process. However, the formal c…