Training Natural Language Verifiers with Lean

 (huggingface.co)

3 points | by andes314 7 hours ago ago

No comments yet.