13 citations · 31 across the 6 of their papers we have counts for
1 paper · 1 filter
Haiming Wang, Huajian Xin, Zhengying Liu +8
Recent advances in automated theorem proving leverages language models to explore expanded search spaces by step-by-step proof generation. However, such approaches are usually base…