1 paper
Yanan Chen, Ali Pesaranghader, Tanmana Sadhu
Recent advances in Large Language Models (LLMs) have raised interest in their formal reasoning capabilities, particularly in mathematics. While closed LLMs like GPT-4 perform well…