Download PDFOpen PDF in browser

A Chat with Bard

EasyChair Preprint no. 10329

7 pagesDate: June 4, 2023


Given 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, logic, TPTP

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Geoff Sutcliffe and Jack McKeown and Alexander Steen},
  title = {A Chat with Bard},
  howpublished = {EasyChair Preprint no. 10329},

  year = {EasyChair, 2023}}
Download PDFOpen PDF in browser