Similar Items: (How) Do Large Language Models Understand High-Level Message Sequence Charts?
- Categorical Message Passing Language (CaMPL) for programmers
- The Polynomial Counting Capabilities of Message Passing Neural Networks
- Finite-Horizon First-Order Rank Profiles of Regular Languages
- A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
- Coherency through formalisations of Structured Natural Language, A case study on FRETish
- Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0