An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Publications
Date
Featured collections
Popular topics
4 results for Maxwell Crouse
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
- Maxwell Crouse
- Pavan Kapanipathi
- et al.
- 2023
- ACL 2023
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive Summarization
- Subhajit Chaudhury
- Sarathkrishna Swaminathan
- et al.
- 2022
- EMNLP 2022
Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI