flinkow-2026-quantitative:
  type: misc
  title: Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
  author:
  - Flinkow, Thomas
  - Komendantskaya, Ekaterina
  - Capucci, Matteo
  - Monahan, Rosemary
  date: 2026
  publisher: arXiv
  url: https://arxiv.org/abs/2605.13845
  serial-number:
    doi: 10.48550/ARXIV.2605.13845