@article{provingequivalencebetweencomplex,
  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},
  eprint = {2106.02452},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2106.02452v2},
}