978 citations · 1.3k across the 9 of their papers we have counts for
1 paper · 1 filter
Ruida Wang, Rui Pan, Pengcheng Wang +2
Enhancing the formal math reasoning capabilities of Large Language Models (LLMs) has become a key focus in both mathematical and computer science communities in recent years. While…