Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
MEGRAG: Multi-Granular Evidence Graphs for Answer-Aware Multi-Hop RAG
Weidong Bao, Yingying Sun, Jun Yang +7
Multi-hop question answering is a fundamental challenge in retrieval-augmented generation (RAG), because deriving an answer requires integrating dispersed evidence. Iterative RAG (…
cs.AI2026
Automated Formalization via Conceptual Retrieval-Augmented LLMs
Wangyue Lu, Lun Du, Sirui Li +6
Interactive theorem provers (ITPs) require manual formalization, which is labor-intensive and demands expert knowledge. While automated formalization offers a potential solution, i…