Similar Items: Categorical Message Passing Language (CaMPL) for programmers
- The Polynomial Counting Capabilities of Message Passing Neural Networks
- täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
- 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
- Verification of Neural Networks (Lecture Notes)