📣📰 **Double Preprint Alert! **📣📰 Quantitative Linear Logic *Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya* https://arxiv.org/abs/2605.13348 Quantitative Linear Logic for Neuro-Symbolic Learning and Verification *Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci, Rosemary Monahan* https://arxiv.org/abs/2605.13845 I present them quickly here https://matteocapucci.eu/two-preprints-in-quantitative-logic Comments welcome!