Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
arXiv:2602.18095v1 Announce Type: new Abstract: Natural language understanding requires interleaving textual and logical reasoning, yet large language models often fail to perform such reasoning reliably. …
Hyunseok Oh, Sam Stern, Youngki Lee, Matthai Philipose
19 views