Premise Selection in Natural Language Mathematical Texts. - Deborah Ferreira; André Freitas (ACL, 2020)

Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text. - Deborah Ferreira; André Freitas (LREC, 2020)

On the Evaluation of Intelligence Process Automation. - Deborah Ferreira; Julia Rozanova; Krishna Dubba; Dell Zhang; André Freitas (CoRR, 2020)

Does My Representation Capture X? Probe-Ably. - Deborah Ferreira; Julia Rozanova; Mokanarangan Thayaparan; Marco Valentino; André Freitas (ACL (demo), 2021)

STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises. - Deborah Ferreira; André Freitas (EACL, 2021)

∂-Explainer: Abductive Natural Language Inference via Differentiable Convex Optimization. - Mokanarangan Thayaparan; Marco Valentino; Deborah Ferreira; Julia Rozanova; André Freitas (CoRR, 2021)

Supporting Context Monotonicity Abstractions in Neural NLI Models. - Julia Rozanova; Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; André Freitas (CoRR, 2021)

Hybrid Autoregressive Solver for Scalable Abductive Natural Language Inference. - Marco Valentino; Mokanarangan Thayaparan; Deborah Ferreira; André Freitas (CoRR, 2021)

Grounding Natural Language Instructions: Can Large Language Models Capture Spatial Information? - Julia Rozanova; Deborah Ferreira; Krishna Dubba; Weiwei Cheng; Dell Zhang; André Freitas (CoRR, 2021)

Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration. - Marco Valentino; Mokanarangan Thayaparan; Deborah Ferreira; André Freitas (AAAI, 2022)

To be or not to be an Integer? Encoding Variables for Mathematical Text. - Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; Julia Rozanova; André Freitas (ACL (Findings), 2022)

Decomposing Natural Logic Inferences for Neural NLI. - Julia Rozanova; Deborah Ferreira; Mokanarangan Thayaparan; Marco Valentino; André Freitas (BlackboxNLP@EMNLP, 2022)

Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference. - Mokanarangan Thayaparan; Marco Valentino; Deborah Ferreira; Julia Rozanova; André Freitas (Trans. Assoc. Comput. Linguistics, 2022)

Transformers and the Representation of Biomedical Background Knowledge. - Oskar Wysocki; Zili Zhou; Paul O'Regan; Deborah Ferreira; Magdalena Wysocka; Dónal Landers; André Freitas (Comput. Linguistics, 2023)