본 논문은 대규모 언어 모델(LLM)의 복잡한 문제 해결 과정에서 정확성과 계산 효율성 간의 상충 관계를 해결하기 위해, 유연한 검증 예산 할당 전략을 사용하는 새로운 생성적 검증기 FlexiVe를 제시합니다. FlexiVe는 빠르고 신뢰할 수 있는 '빠른 사고'와 정교한 '느린 사고' 간의 계산 자원을 유연하게 조정합니다. 또한, Solve-Detect-Verify 파이프라인을 통해 FlexiVe를 효율적으로 통합하여, 해결 과정의 완료 시점을 사전에 파악하고 표적 검증 및 솔버 피드백을 제공합니다. ProcessBench, AIME 2024, AIME 2025, CNMO 등의 벤치마크 실험 결과, FlexiVe는 추론 과정에서 오류를 정확하게 찾아내고, 자기 일관성 기반 방식보다 높은 정확도와 효율성을 달성함을 보여줍니다.