TY  - RPRT
TI  - Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
AU  - Steve Kommrusch
AU  - Martin Monperrus
AU  - Louis-Noël Pouchet
PY  - 2023
DO  - 10.1109/tse.2023.3271065
UR  - https://arxiv.org/abs/2109.10476
ID  - 2109.10476
ER  -