@article{learningaxiomstocomputeverifiable,
  title = {Learning Axioms to Compute Verifiable Symbolic Expression Equivalence Proofs Using Graph-to-Sequence Networks},
  author = {Steven James Kommrusch and Louis-Noel Pouchet and Theo Barolett},
  year = {2021},
  url = {https://openreview.net/forum?id=PkqwRo2wjuW},
}