From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement. - Cedric Haufe; Frieder Stolzenburg (CoRR, 2026)