3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Hui Yang, Jiaoyan Chen, Uli Sattler
The ability of Large Language Models (LLMs) to perform reasoning tasks such as deduction has been widely investigated in recent years. Yet, their capacity to generate proofs-faithf…