5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Leni Aniva, Chuyue Sun, Brando Miranda +2
Machine-assisted theorem proving refers to the process of conducting structured reasoning to automatically generate proofs for mathematical theorems. Recently, there has been a sur…