NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
LeanReasoner: Boosting Complex Logical Reasoning with Lean
Dongwei Jiang
|
Marcio Fonseca
|
Shay Cohen
|
Paper Details:
Month: June
Year: 2024
Location: Mexico City, Mexico
Venue:
NAACL |
Citations
URL
No Citations Yet
https://github.com/Some-random/
https://leanprover.github.io/
https://en.wikipedia.org/wiki/Lean_
https://github.com/
https://github.com/ufmg-smite/lean-smt
Field Of Study