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