search

Some-random / theorem-proving-reasoning

Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
Apache License 2.0
18 stars 2 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated