User profiles for Deborah Ferreira

Deborah Ferreira

PhD student - Computer Science - The University of Manchester
Verified email at manchester.ac.uk
Cited by 241

Natural language premise selection: Finding supporting statements for mathematical text

D Ferreira, A Freitas - arXiv preprint arXiv:2004.14959, 2020 - arxiv.org
Mathematical text is written using a combination of words and mathematical expressions.
This combination, along with a specific way of structuring sentences makes it challenging for …

Premise selection in natural language mathematical texts

D Ferreira, A Freitas - Proceedings of the 58th Annual Meeting of …, 2020 - aclanthology.org
The discovery of supporting evidence for addressing complex mathematical problems is a
semantically challenging task, which is still unexplored in the field of natural language …

Hybrid autoregressive inference for scalable multi-hop explanation regeneration

M Valentino, M Thayaparan, D Ferreira… - Proceedings of the AAAI …, 2022 - ojs.aaai.org
Regenerating natural language explanations in the scientific domain has been proposed as
a benchmark to evaluate complex multi-hop and explainable inference. In this context, large …

To be or not to be an integer? encoding variables for mathematical text

D Ferreira, M Thayaparan, M Valentino… - Findings of the …, 2022 - aclanthology.org
The application of Natural Language Inference (NLI) methods over large textual corpora can
facilitate scientific discovery, reducing the gap between current research and the available …

TextGraphs 2022 shared task on natural language premise selection

M Valentino, D Ferreira, M Thayaparan… - … of TextGraphs-16 …, 2022 - aclanthology.org
The Shared Task on Natural Language Premise Selection (NLPS) asks participants to
retrieve the set of premises that are most likely to be useful for proving a given mathematical …

Diff-explainer: Differentiable convex optimization for explainable multi-hop inference

M Thayaparan, M Valentino, D Ferreira… - Transactions of the …, 2022 - direct.mit.edu
This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop
inference that integrates explicit constraints with neural architectures through differentiable …

On the evaluation of intelligent process automation

D Ferreira, J Rozanova, K Dubba, D Zhang… - arXiv preprint arXiv …, 2020 - arxiv.org
Intelligent Process Automation (IPA) is emerging as a sub-field of AI to support the automation
of long-tail processes which requires the coordination of tasks across different systems. So …

STAR: Cross-modal [STA] tement [R] epresentation for selecting relevant mathematical premises

D Ferreira, A Freitas - Proceedings of the 16th Conference of the …, 2021 - aclanthology.org
Mathematical statements written in natural language are usually composed of two different
modalities: mathematical elements and natural language. These two modalities have several …

Decomposing natural logic inferences in neural NLI

J Rozanova, D Ferreira, M Valentino… - arXiv preprint arXiv …, 2021 - arxiv.org
In the interest of interpreting neural NLI models and their reasoning strategies, we carry out
a systematic probing study which investigates whether these models capture the crucial …

What do individuals with visual impairment need and want from a dialogue-based digital assistant?

…, A Subramanian, A Freitas, DM Ferreira… - Clinical and …, 2023 - Taylor & Francis
Clinical Significance Optometrists are well-placed to provide helpful advice and guidance to
patients with visual impairment but may not know how best to do this. The availability of a …