|
Download PDFOpen PDF in browserA Chat with BardEasyChair Preprint 103297 pages•Date: June 4, 2023AbstractGiven all the excitement around ChatGPT, Bard, Bing, etc., we decided to test Bard’s logical reasoning powers. Bard was given the TPTP problem PUZ001+1 - Who Killed Aunt Agatha?, modified to really ask that question. This short paper documents the story that unfolded, and how tools from the TPTP World were used to examine the output from Bard. Keyphrases: Bard, TPTP, logic Download PDFOpen PDF in browser |
|
|