Formal Logic
12 papers with code • 1 benchmarks • 3 datasets
This task has no description! Would you like to contribute one?
Most implemented papers
RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic
We present a comprehensive study of chart visual question-answering(QA) task, to address the challenges faced in comprehending and extracting data from chart visualizations within documents.
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
We rethink this and adopt a well-grounded set of deduction rules based on formal logic theory, which can derive any other deduction rules when combined in a multistep way.