@misc{indiciaeafa4b33a3b6f,
  title = {Neurosymbolic Language Reasoning as Satisfiability Modulo Theory},
  author = {Hyunseok Oh and Sam Stern and Youngki Lee and Matthai Philipose},
  year = {2026},
  url = {https://arxiv.org/abs/2602.18095},
  note = {Source identifier: 2602.18095}
}