Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic ParsingMaxwell CrousePavan Kapanipathiet al.2023ACL 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural RepresentationsAchille FokoueIbrahim Abdelazizet al.2023IJCAI 2023
X-FACTOR: A Cross-metric Evaluation of Factual Correctness in Abstractive SummarizationSubhajit ChaudhurySarathkrishna Swaminathanet al.2022EMNLP 2022
Learning to Guide a Saturation-Based Theorem ProverIbrahim AbdelazizMaxwell Crouseet al.2021IEEE TPAMI