Post #2668016
2026-05-16 14:33 UTC
📣📰 **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!
Replies (1)
-
@sjoerd_visscher@types.pl 2026-05-16 18:04
@mc@mathstodon.xyz the red and blue backgrounds in table 1 seem to be missing?