TY  - RPRT
TI  - Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
AU  - Bradley P. Allen
AU  - Prateek Chhikara
AU  - Thomas Macaulay Ferguson
AU  - Filip Ilievski
AU  - Paul Groth
PY  - 2026
UR  - https://arxiv.org/abs/2507.09751
ID  - 2507.09751
ER  -