Some-random/theorem-proving-reasoning
Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
LeanApache-2.0
Issues
- 1
Missing file?
#1 opened by minimario
Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
LeanApache-2.0