Abstract
Multi-hop claim verification is inherently challenging, requiring multi-stepreasoning to construct verification chains while iteratively searching forinformation to uncover hidden bridging facts. This process is fundamentallyinterleaved, as effective reasoning relies on dynamically retrieved evidence,while effective search demands reasoning to refine queries based on partialinformation. To achieve this, we propose Hierarchical Agent Reasoning andInformation Search (HARIS), explicitly modeling the coordinated process ofreasoning-driven searching and search-informed reasoning. HARIS consists of ahigh-level reasoning agent that focuses on constructing the main verificationchain, generating factual questions when more information is needed, and alow-level search agent that iteratively retrieves more information, refiningits search based on intermediate findings. This design allows each agent tospecialize in its respective task, enhancing verification accuracy andinterpretability. HARIS is trained using reinforcement learning withoutcome-based rewards. Experimental results on the EX-FEVER and HOVERbenchmarks demonstrate that HARIS achieves strong performance, greatlyadvancing multi-hop claim verification.