conftrace_
← Authors

Yuanzhen Hao

2 papers · 2025–2026 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
🐝 Cross-Pollinator (15)

Conferences

ACL (1) EMNLP (1)

Top co-authors

Desheng Wu (2)

Keywords

knowledge graph (2) claim verification (1) first-order logic (1) fact verification (1) graph reasoning (1) factual reasoning (1) programmatic reasoning (1)

Papers

Extending First-Order Logic for Factual Reasoning over Knowledge Graphs ACL 2026 Fact Verification on Knowledge Graph via Programmatic Graph Reasoning EMNLP 2025