Papers by Yuanzhen Hao
Extending First-Order Logic for Factual Reasoning over Knowledge Graphs (2026.acl-long)
Copied to clipboard
| Challenge: | Existing methods for factual reasoning over knowledge graphs lack support for multiple quantifiers and connectives. |
| Approach: | They propose an extended FOL -structure over knowledge graphs that incorporates comparison predicates and counting quantifiers. |
| Outcome: | The proposed method achieves state-of-the-art on Fact-FOLX-KG, while previous methods experience performance drop on claims requiring comparison and counting. |
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. |