infrastructurefactbullishCertify-then-Rectify framework bridges gap between heuristic search speed and exact retrieval rigorMachine Learning27 Jul 2026http://arxiv.org/abs/2607.02338v1