*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

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}, }

Powered by bibtexbrowser