Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
ProofVerifier: A Scalable, Diversity-Driven Framework for Natural-Language Proof Verification
Haotong Yang, Zitong Wang, Shijia Kang +7
While large language models (LLMs) have achieved strong performance on mathematical problems with verifiable answers, many advanced problems are proof-based and require evaluating…
cs.CL2026
AgenticRAGTracer: A Hop-Aware Benchmark for Diagnosing Multi-Step Retrieval Reasoning in Agentic RAG
Qijie You, Wenkai Yu, Wentao Zhang
With the rapid advancement of agent-based methods in recent years, Agentic RAG has undoubtedly become an important research direction. Multi-hop reasoning, which requires models to…