← back to paper

Review history

arxiv: 2605.13845 · 2 revisions

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification

1. 2026-05-15 UNVERDICTED LOW v0.9.0 novelty 7.0
   37554 ms 5564 in 1207 out 2026-05-15T05:36:32.239577+00:00
2. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 6.0
   29333 ms 5564 in 1264 out 2026-05-14T17:25:12.904356+00:00