Deborah Ferreira

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 18

Top Topics

Natural Language

Mathematical Proofs

Convex Optimization

Background Knowledge

Top Venues

Comput. Linguistics

Publications

Oskar Wysocki, Zili Zhou, Paul O'Regan, Deborah Ferreira, Magdalena Wysocka, Dónal Landers, André Freitas
Transformers and the Representation of Biomedical Background Knowledge. Comput. Linguistics 49 (1) (2023)
Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, André Freitas
Decomposing Natural Logic Inferences for Neural NLI. BlackboxNLP@EMNLP (2022)
Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, Julia Rozanova, André Freitas
To be or not to be an Integer? Encoding Variables for Mathematical Text. ACL (Findings) (2022)
Marco Valentino, Mokanarangan Thayaparan, Deborah Ferreira, André Freitas
Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration. AAAI (2022)
Oskar Wysocki, Zili Zhou, Paul O'Regan, Deborah Ferreira, Magdalena Wysocka, Donal Landers, André Freitas
Transformers and the representation of biomedical background knowledge. CoRR (2022)
Mokanarangan Thayaparan, Marco Valentino, Deborah Ferreira, Julia Rozanova, André Freitas
Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference. Trans. Assoc. Comput. Linguistics 10 (2022)
Julia Rozanova, Deborah Ferreira, Krishna Dubba, Weiwei Cheng, Dell Zhang, André Freitas
Grounding Natural Language Instructions: Can Large Language Models Capture Spatial Information? CoRR (2021)
Marco Valentino, Mokanarangan Thayaparan, Deborah Ferreira, André Freitas
Hybrid Autoregressive Solver for Scalable Abductive Natural Language Inference. CoRR (2021)
Deborah Ferreira, Julia Rozanova, Mokanarangan Thayaparan, Marco Valentino, André Freitas
Does My Representation Capture X? Probe-Ably. CoRR (2021)
Julia Rozanova, Deborah Ferreira, Marco Valentino, Mokanarangan Thayaparan, André Freitas
Decomposing Natural Logic Inferences in Neural NLI. CoRR (2021)
Deborah Ferreira, Julia Rozanova, Mokanarangan Thayaparan, Marco Valentino, André Freitas
Does My Representation Capture X? Probe-Ably. ACL (demo) (2021)
Deborah Ferreira, André Freitas
STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises. EACL (2021)
Julia Rozanova, Deborah Ferreira, Mokanarangan Thayaparan, Marco Valentino, André Freitas
Supporting Context Monotonicity Abstractions in Neural NLI Models. CoRR (2021)
Mokanarangan Thayaparan, Marco Valentino, Deborah Ferreira, Julia Rozanova, André Freitas
∂-Explainer: Abductive Natural Language Inference via Differentiable Convex Optimization. CoRR (2021)
Deborah Ferreira, Julia Rozanova, Krishna Dubba, Dell Zhang, André Freitas
On the Evaluation of Intelligence Process Automation. CoRR (2020)
Deborah Ferreira, André Freitas
Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text. LREC (2020)
Deborah Ferreira, André Freitas
Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text. CoRR (2020)
Deborah Ferreira, André Freitas
Premise Selection in Natural Language Mathematical Texts. ACL (2020)