Quantitative ultrasound augmented with machine learning to assess tissue microstructure during wound healingDavid LemonnierBrandon J. Sumpioet al.2025Biomedical Signal Processing and Control
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural RepresentationsAchille FokoueIbrahim Abdelazizet al.2023IJCAI 2023
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic ParsingMaxwell CrousePavan Kapanipathiet al.2023ACL 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