29 citations · 31 across the 4 of their papers we have counts for
1 paper · 1 filter
Zijian Wu, Jiayu Wang, Dahua Lin +1
Recently, large language models have presented promising results in aiding formal mathematical reasoning. However, their performance is restricted due to the scarcity of formal the…