ScaleML-FANS (FANS - Formal Answer Selection Using Lean4)