Our recent paper VerifiAgent: a Unified Verification Agent in Language Model Reasoning is available on arXiv now.