1 paper
Nikolay Georgiev, Maria Drencheva, Kseniia Ibragimova +3
As agentic AI systems tackle more complex mathematical tasks, they increasingly rely on information retrieval (IR) to search problem databases, theorem libraries, and educational r…