Text this: Quantitative Linear Logic for Neuro-Symbolic Learning and Verification