TY  - RPRT
TI  - From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
AU  - Cedric Haufe
AU  - Frieder Stolzenburg
PY  - 2026
DO  - 10.1007/978-3-032-32335-4_19
UR  - https://arxiv.org/abs/2604.05539
ID  - 2604.05539
ER  -