1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…