theorem-proving-reasoning icon indicating copy to clipboard operation
theorem-proving-reasoning copied to clipboard

verified publisher icon Some-random
→

Metadata

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

Results 0 theorem-proving-reasoning issues
Sort by recently updated
recently updated
newest added

← Metadata

22
Stars
3
Forks
Watchers

Owner

verified publisher icon Some-random

Metadata

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

Back