1 citations · 1 across the 17 of their papers we have counts for
1 paper · 1 filter
Jingyuan Zhang, Qi Wang, Xingguang Ji +6
Recent advances in automated theorem proving (ATP) through LLMs have highlighted the potential of formal reasoning with Lean 4 codes. However, ATP has not yet be revolutionized by…