"neurosymbolic reasoning" Papers
2 papers found
Conference
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
Hyun Ryu, Gyeongman Kim, Hyemin S. Lee et al.
ICLR 2025arXiv:2410.08047
25
citations
Enhancing SQL Query Generation with Neurosymbolic Reasoning
Henrijs Princis, Cristina David, Alan Mycroft
AAAI 2025paperarXiv:2408.13888
4
citations