An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

Fokoue et al. "An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/359

[Fokoue et al. "An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/fokoue2023ijcai-ensemble/) doi:10.24963/IJCAI.2023/359

@inproceedings{fokoue2023ijcai-ensemble,
  title     = {{An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations}},
  author    = {Fokoue, Achille and Abdelaziz, Ibrahim and Crouse, Maxwell and Ikbal, Shajith and Kishimoto, Akihiro and Lima, Guilherme and Makondo, Ndivhuwo and Marinescu, Radu},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {3221-3229},
  doi       = {10.24963/IJCAI.2023/359},
  url       = {https://mlanthology.org/ijcai/2023/fokoue2023ijcai-ensemble/}
}