@misc{indiciae51d687066faa,
  title = {Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models},
  author = {Steve Kommrusch and Théo Barollet and Louis-Noël Pouchet},
  year = {2021},
  url = {https://arxiv.org/abs/2106.02452},
  note = {Source identifier: 2106.02452}
}