Training Natural Language Verifiers with Lean

3 points | by andes314 6 hours ago