Login / Signup

Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules.

Steve KommruschMartin MonperrusLouis-Noël Pouchet
Published in: IEEE Trans. Software Eng. (2023)
Keyphrases
  • straight line
  • rewrite rules
  • hough transform
  • data sets
  • multi dimensional
  • data management