@misc{indiciae6a1599811b4c,
  title = {Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB},
  author = {Julie Cailler and Noé Delorme and Sophie Tourret},
  year = {2026},
  url = {https://arxiv.org/abs/2608.27087},
  note = {Source identifier: 2608.27087}
}