January 1995
·
14 Reads
·
138 Citations
This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.
January 1995
·
14 Reads
·
138 Citations
... While LLMs have demonstrated strong performance in solving mathematical tasks [Feigenbaum et al., 1963, Hosseini et al., 2014, advanced open-source reasoners still struggle with solving comprehensive mathematical problems, including both arithmetic computation and theorem proving. ...
January 1995