TY  - RPRT
TI  - Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB
AU  - Julie Cailler
AU  - Noé Delorme
AU  - Sophie Tourret
PY  - 2026
UR  - https://arxiv.org/abs/2608.27087
ID  - 2608.27087
ER  -