User profiles for Deborah Ferreira
![]() | Deborah FerreiraPhD 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 …
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 …
semantically challenging task, which is still unexplored in the field of natural language …
Hybrid autoregressive inference for scalable multi-hop explanation regeneration
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 …
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
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 …
facilitate scientific discovery, reducing the gap between current research and the available …
TextGraphs 2022 shared task on natural language premise selection
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 …
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
This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop
inference that integrates explicit constraints with neural architectures through differentiable …
inference that integrates explicit constraints with neural architectures through differentiable …
On the evaluation of intelligent process automation
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 …
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 …
modalities: mathematical elements and natural language. These two modalities have several …
Decomposing natural logic inferences in neural NLI
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 …
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 …
patients with visual impairment but may not know how best to do this. The availability of a …