Who cites Deborah Ferreira
LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 248 citations
Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold StandardsInternational Conference on Computational SemanticsMarco Valentino, Ian Pratt-Hartmann, André Freitas2021 · 10 citations
Decomposing Natural Logic Inferences for Neural NLIBlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLPJulia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, et al.2022 · 8 citations
This page in Markdown → https://md.research.elamur.ai/free/en/authors/deborah-ferreira/cited-by/