Similar Items: LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
- Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems
- Domain-Adaptive Dense Retrieval for Brazilian Legal Search
- Rethinking Agentic Search with Pi-Serini: Is Lexical Retrieval Sufficient?
- Revisiting General Map Search via Generative Point-of-Interest Retrieval
- From Experimental Limits to Physical Insight: A Retrieval-Augmented Multi-Agent Framework for Interpreting Searches Beyond the Standard Model
- Caraman at SemEval-2026 Task 8: Three-Stage Multi-Turn Retrieval with Query Rewriting, Hybrid Search, and Cross-Encoder Reranking