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

Achille Fokoue,Ibrahim Abdelaziz,Maxwell Crouse,Shajith Ikbal,Akihiro Kishimoto,Guilherme Lima,Ndivhuwo Makondo,Radu Marinescu

IJCAI 2023（2023）

Cited 3|Views111

Key words

Knowledge Representation and Reasoning -> KRR: Automated reasoning and theorem proving,Machine Learning -> ML: Applications,Machine Learning -> ML: Representation learning

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined