Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2410.21779
Cited By
Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach
29 October 2024
Qingchuan Li
Jiatong Li
Tongxuan Liu
Yuting Zeng
Mingyue Cheng
Weizhe Huang
Qi Liu
LRM
AI4CE
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach"
1 / 1 papers shown
Title
Integrating Expert Knowledge into Logical Programs via LLMs
Franciszek Górski
Oskar Wysocki
Marco Valentino
André Freitas
12
0
0
17 Feb 2025
1
