SAGE: Solver-Aligned Guided Exploration.

Nikita Sorokin, Ivan Sedykh, Timur Ionov, Valentin Malykh

Browse the full SIGIR paper archive.