An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu 0002. An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 3221-3229, ijcai.org, 2023. [doi]

This author has not been identified. Look up 'Achille Fokoue' in GoogleThis author has not been identified. Look up 'Ibrahim Abdelaziz' in GoogleThis author has not been identified. Look up 'Maxwell Crouse' in GoogleThis author has not been identified. Look up 'Shajith Ikbal' in GoogleThis author has not been identified. Look up 'Akihiro Kishimoto' in GoogleThis author has not been identified. Look up 'Guilherme Lima' in GoogleThis author has not been identified. Look up 'Ndivhuwo Makondo' in GoogleThis author has not been identified. Look up 'Radu Marinescu 0002' in Google

runs on WebDSL