conftrace_

formal reasoning

28 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (6) logical reasoning (6) logical validity (4) neuro-symbolic reasoning (4) argumentation framework (4) syllogistic reasoning (3) transformer model (3) language model (3) first-order logic (3) formal verification (3)

Papers

Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability AAAI 2022 Strong Explanations in Abstract Argumentation AAAI 2021 Partial Awareness AAAI 2019