@misc{indiciae9a85bd73a819,
  title = {An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations},
  author = {Achille Fokoue and Ibrahim Abdelaziz and Maxwell Crouse and Shajith Ikbal and Akihiro Kishimoto and Guilherme Lima and Ndivhuwo Makondo and Radu Marinescu},
  year = {2023},
  url = {https://arxiv.org/abs/2305.08676},
  note = {Source identifier: 2305.08676}
}