A arxiv.org Translating natural language to first-order logic for logical fallacy detection 258 points ColinWright 1 year ago 143 comments