Fans_release

Created on March 05, 2025

2025

We release FANS - Formal Answer Selection for Natural Language Reasoning Uinsg Lean4, enhancing test-time math answer selection using formal language.