7 citations · 34 across the 22 of their papers we have counts for
1 paper · 1 filter
Roozbeh Yousefzadeh, Xuenan Cao, Azim Ospanov
Using AI to write formal proofs for mathematical problems is a challenging task that has seen some advancements in recent years. Automated systems such as Lean can verify the corre…