/theorem-proving-reasoning

Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf

Primary LanguageLeanApache License 2.0Apache-2.0

No issues in this repository yet.