@misc{flinkow-2026-quantitative,
  doi = {10.48550/ARXIV.2605.13845},
  url = {https://arxiv.org/abs/2605.13845},
  author = {Flinkow, Thomas and Komendantskaya, Ekaterina and Capucci, Matteo and Monahan, Rosemary},
  keywords = {Logic in Computer Science (cs.LO), Machine Learning (cs.LG), FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {Quantitative Linear Logic for Neuro-Symbolic Learning and Verification},
  publisher = {arXiv},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International}
}