LeanReasoner: Boosting Complex Logical Reasoning with Lean.

Dongwei Jiang Marcio Fonseca Shay B. Cohen

Published in: NAACL-HLT (2024)

Keyphrases

logical reasoning
real world
complex environments
formal semantics
neural network
learning algorithm
complex systems
databases
machine learning
artificial intelligence
modeling language