4 citations · 8 across the 12 of their papers we have counts for
1 paper · 1 filter
Eric Jiang, Xiao Liang, Yikai Zhang +19
Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for we…