Diverse Inference and Verification for Advanced Reasoning