Training Natural Language Verifiers with Lean | Hacker News Reader