1 citations · 3 across the 7 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LO2026
Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB
Julie Cailler, Noé Delorme, Sophie Tourret
We introduce a new family of benchmarks for the problem of diagrammatic equivalence between circuits. Three variants of this problem are considered, ranging from basic to challengi…
cs.LO2026
Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Sophie Tourret, Olivier Hermant
This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) includes the contributed papers presented at the 21st International Workshop on Logical Frameworks…
cs.LO2026
Towards Term-based Verification of Diagrammatic Equivalence
Julie Cailler, Noé Delorme, Simon Perdrix +1
A string diagram is a two-dimensional graphical representation that can be described as a one-dimensional term generated from a set of primitives using sequential and parallel comp…