4 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Chenjun Guo, Manooshree Patel, Arnav Mehta +7
Large language models are increasingly used as collaborators on deductive-reasoning tasks, but their outputs can hallucinate or pull users away from intended reasoning. Formal proo…