Learn to Combine Linguistic and Symbolic Information for Table-based Fact Verification (2020.coling-main)
Copied to clipboard
| Challenge: | Existing methods for fact verification lack attention to combine linguistic and symbolic information. |
| Approach: | They propose a graph-based reasoning approach that learns to combine linguistic and symbolic information effectively. |
| Outcome: | The proposed method can combine linguistic and symbolic information effectively. |
Similar Papers
Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification (2021.emnlp-main)
Copied to clipboard
| Challenge: | Existing methods leverage programs that contain rich logical information to enhance the verification process. |
| Approach: | They propose a table-based fact verification task as an evidence retrieval framework . they retrieve logic-level program-like evidence from the given table and a statement as supplementary evidence for the table . |
| Outcome: | The proposed method is able to retrieve logic-level program-like evidence from a table and a statement as supplementary evidence for the table. |
Table Fact Verification with Structure-Aware Transformer (2020.emnlp-main)
Copied to clipboard
| Challenge: | Pre-trained models cannot be used to encode semi-structured data because of their nature. |
| Approach: | They propose a Structure-Aware Transformer which injects table structural information into mask . method could combine symbolic and linguistic reasoning, they propose . |
| Outcome: | The proposed method outperforms baseline on a large scale table verification dataset. |
Towards Unified Representations of Knowledge Graph and Expert Rules for Machine Learning and Reasoning (2022.aacl-main)
Copied to clipboard
| Challenge: | Empirical study shows superiority of proposed method over time-tested knowledge-driven and data-driven methods. |
| Approach: | They propose a cognitive knowledge graph that unifies expert rules and relational facts as the substrate of machine learning and reasoning models. |
| Outcome: | Empirical results show the proposed method superior to time-tested methods . the proposed model can perform both learning and reasoning with labeled data . |
Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning (2024.findings-naacl)
Copied to clipboard
Tianhua Zhang, Jiaxin Ge, Hongyin Luo, Yung-Sung Chuang, Mingye Gao, Yuan Gong, Yoon Kim, Xixin Wu, Helen Meng, James Glass
| Challenge: | Existing methods for surfacing symbolic reasoning capabilities are limited to narrow tasks . arithmetic computations are unnatural to perform in pure language space, and hence present difficulties for LLMs. |
| Approach: | They propose a natural language embedded program framework for solving symbolic reasoning tasks. |
| Outcome: | The proposed framework improves on strong baselines across math and symbolic reasoning, text classification, question answering, and instruction following tasks. |
LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network (2020.acl-main)
Copied to clipboard
Wanjun Zhong, Duyu Tang, Zhangyin Feng, Nan Duan, Ming Zhou, Ming Gong, Linjun Shou, Daxin Jiang, Jiahai Wang, Jian Yin
| Challenge: | Existing methods for fact checking textual statements are not yet available. |
| Approach: | They propose a neural network approach capable of leveraging logical operations for fact checking . they use a textual statement and semi-structured tables to generate a program from it . |
| Outcome: | The proposed approach achieves state-of-the-art performance on TABFACT dataset . it derives a program (a.k.a. logical form) of the statement in semantic parsing manner . |
Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models (2024.findings-acl)
Copied to clipboard
| Challenge: | Existing methods rely on syntactically mapping natural languages to complete formal languages like Python and SQL. |
| Approach: | They propose to deconstruct reasoning-independent semantic information into generic symbolic representations, thereby efficiently capturing more generalized reasoning knowledge. |
| Outcome: | The proposed method improves in-context reasoning accuracy, learning efficiency, out-of-domain generalization, and output stability compared to the Chain-of thought technique. |
Fact Verification on Knowledge Graph via Programmatic Graph Reasoning (2025.findings-emnlp)
Copied to clipboard
| Challenge: | Existing methods for fact verification on knowledge graphs use implicit reasoning to predict entailment between claims and KG triples. |
| Approach: | They propose a framework that integrates large language models for fact verification on knowledge graphs. |
| Outcome: | The proposed framework outperforms existing methods on knowledge graphs with 86.82% accuracy. |
Strong and Light Baseline Models for Fact-Checking Joint Inference (2021.findings-acl)
Copied to clipboard
| Challenge: | Automated fact checking is rapidly gaining attention of the NLP and AI communities. |
| Approach: | They propose lightweight strong baselines for automated fact-checking systems . they propose to combine multiple pieces of evidence to verify a claim . |
| Outcome: | The proposed methods outperform heavier models on the leaderboard with blind TEST set. |
SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation (2023.findings-acl)
Copied to clipboard
| Challenge: | Existing studies on logical data-to-text generation rely on neural language models to generate the final table description, but they have difficulty working out key entities in the description. |
| Approach: | They propose a symbolic reasoning framework that reasons out each entity in the table description with a table-compatible programming language. |
| Outcome: | The proposed framework outperforms existing methods on three datasets and three backbones with an absolute improvement of 5.7%11.5% on SP-Acc. |
Can Large Language Models Adequately Perform Symbolic Reasoning Over Time Series? (2026.findings-acl)
Copied to clipboard
| Challenge: | Large Language Models (LLMs) and Multimodal LLMs (MLLMs) show strong performance in complex reasoning tasks, but their ability to extract symbolic laws from time series data remains underexplored. |
| Approach: | They propose a benchmark to assess symbolic reasoning over real-world time series across three tasks: multivariate symbolic regression, Boolean network inference, and causal discovery. |
| Outcome: | The proposed framework integrates LLMs with genetic programming to form a closed-loop symbolic reasoning system. |