Login / Signup

LeanReasoner: Boosting Complex Logical Reasoning with Lean.

Dongwei JiangMarcio FonsecaShay B. Cohen
Published in: CoRR (2024)
Keyphrases
  • logical reasoning
  • database
  • complex data
  • learning algorithm
  • information systems
  • complex systems
  • neural network
  • real world
  • data mining
  • artificial intelligence
  • knowledge base
  • cost sensitive
  • formal semantics