432 citations · 5.8k across the 150 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 10 cited
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Steve Kommrusch, Martin Monperrus, Louis-Noël Pouchet
We target the problem of automatically synthesizing proofs of semantic equivalence between two programs made of sequences of statements. We represent programs using abstract syntax…
cs.LG2019★ 56 cited
A Literature Study of Embeddings on Source Code
Zimin Chen, Martin Monperrus
Natural language processing has improved tremendously after the success of word embedding techniques such as word2vec. Recently, the same idea has been applied on source code with…