4 citations · 4 across the 10 of their papers we have counts for
1 paper · 2 filters
Junjie Zhang, Jiayu Liu, Wenbin Liu +11
Existing LLM-based theorem provers have achieved impressive results on formal mathematics benchmarks, yet they remain confined to acting as autonomous agents that prove a stated pr…