Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules

by Steve Kommrusch, Martin Monperrus and Louis-Noël Pouchet

Cite it:

Steve Kommrusch, Martin Monperrus and Louis-Noël Pouchet, "Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules", Technical report, arXiv 2109.10476, 2021.

Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
http://arxiv.org/pdf/2109.10476

[Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules](http://arxiv.org/pdf/2109.10476)

\href{http://arxiv.org/pdf/2109.10476}{Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules} % \cite{2109.10476}

Bibtex Entry:

@techreport{2109.10476,
 title = {Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules},
 year = {2021},
 author = {Steve Kommrusch and Martin Monperrus and Louis-Noël Pouchet},
 url = {http://arxiv.org/pdf/2109.10476},
 number = {2109.10476},
 institution = {arXiv},
}