@misc{indiciae44b2ba332a31, title = {From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement}, author = {Cedric Haufe and Frieder Stolzenburg}, year = {2026}, doi = {10.1007/978-3-032-32335-4\_19}, url = {https://arxiv.org/abs/2604.05539}, note = {Source identifier: 2604.05539} }