naturalprover
Python
★ 39
updated 3y ago
NaturalProver: Grounded Mathematical Proof Generation with Language Models
No plain-English explanation yet — one is being written right now. Check back in a minute.