This paper presents HerO 2, Team HUMANE’s system for the AVeriTeC shared task at the FEVER-25 workshop. HerO 2 is an enhanced
version of HerO, the best-performing opensource model from the previous year’s challenge. It improves evidence quality through
document summarization and answer reformulation, optimizes veracity prediction via posttraining quantization under computational constraints, and enhances overall system performance by integrating updated language model (LM) backbones. HerO 2 ranked second on the leaderboard while achieving the shortest runtime among the top three systems, demonstrating both high efficiency and strong potential for real-world fact verification.