TY  - RPRT
TI  - LeanReasoner: Boosting Complex Logical Reasoning with Lean
AU  - Dongwei Jiang
AU  - Marcio Fonseca
AU  - Shay B. Cohen
PY  - 2024
UR  - https://arxiv.org/abs/2403.13312
ID  - 2403.13312
ER  -