@misc{indiciae4cfb234f9879,
  title = {Learning Equational Theorem Proving},
  author = {Jelle Piepenbrock and Tom Heskes and Mikoláš Janota and Josef Urban},
  year = {2021},
  url = {https://arxiv.org/abs/2102.05547},
  note = {Source identifier: 2102.05547}
}