Training Natural Language Verifiers with Lean

3 pointsposted 7 hours ago
by andes314
(huggingface.co)

No comments yet