Follow
Deborah Ferreira
Deborah Ferreira
PhD student - Computer Science - The University of Manchester
Verified email at manchester.ac.uk
Title
Cited by
Cited by
Year
Natural language premise selection: Finding supporting statements for mathematical text
D Ferreira, A Freitas
arXiv preprint arXiv:2004.14959, 2020
322020
Premise selection in natural language mathematical texts
D Ferreira, A Freitas
Proceedings of the 58th Annual Meeting of the Association for Computational …, 2020
312020
Hybrid autoregressive inference for scalable multi-hop explanation regeneration
M Valentino, M Thayaparan, D Ferreira, A Freitas
Proceedings of the AAAI Conference on Artificial Intelligence 36 (10), 11403 …, 2022
182022
To be or not to be an integer? encoding variables for mathematical text
D Ferreira, M Thayaparan, M Valentino, J Rozanova, A Freitas
Findings of the Association for Computational Linguistics: ACL 2022, 938-948, 2022
122022
Does my representation capture X? Probe-ably
D Ferreira, J Rozanova, M Thayaparan, M Valentino, A Freitas
arXiv preprint arXiv:2104.05807, 2021
122021
On the Evaluation of Intelligent Process Automation
D Ferreira, J Rozanova, K Dubba, D Zhang, A Freitas
arXiv preprint arXiv:2001.02639, 2020
122020
STAR: Cross-modal [STA] tement [R] epresentation for selecting relevant mathematical premises
D Ferreira, A Freitas
Proceedings of the 16th Conference of the European Chapter of the …, 2021
102021
Transformers and the representation of biomedical background knowledge
O Wysocki, Z Zhou, P O’Regan, D Ferreira, M Wysocka, D Landers, ...
Computational Linguistics 49 (1), 73-115, 2023
92023
Diff-explainer: Differentiable convex optimization for explainable multi-hop inference
M Thayaparan, M Valentino, D Ferreira, J Rozanova, A Freitas
Transactions of the Association for Computational Linguistics 10, 1103-1119, 2022
82022
TextGraphs 2022 shared task on natural language premise selection
M Valentino, D Ferreira, M Thayaparan, A Freitas, D Ustalov
Proceedings of TextGraphs-16: Graph-based Methods for Natural Language …, 2022
72022
Decomposing natural logic inferences in neural NLI
J Rozanova, D Ferreira, M Valentino, M Thayaparan, A Freitas
arXiv preprint arXiv:2112.08289, 2021
72021
Genetic algorithms and game theory for airport departure decision making: GeDMAN and CoDMAN
DM Ferreira, LP Rosa, VF Ribeiro, F de Barros Vidal, L Weigang
Knowledge Management in Organizations: 9th International Conference, KMO …, 2014
62014
Genetic algorithms for management of taxi scheduling
LP Rosa, DM Ferreira, LLBV Cruciol, L Weigang, DX Jun
Proceedings on the International Conference on Artificial Intelligence (ICAI), 1, 2013
62013
Supporting context monotonicity abstractions in neural nli models
J Rozanova, D Ferreira, M Thayaparan, M Valentino, A Freitas
arXiv preprint arXiv:2105.08008, 2021
52021
What do individuals with visual impairment need and want from a dialogue-based digital assistant?
JJ Taylor, A Subramanian, A Freitas, DM Ferreira, CM Dickinson
Clinical and Experimental Optometry 106 (6), 656-665, 2023
32023
Utilização de algoritmos genéticos para sequenciamento de partidas em aeroportos
DM Ferreira, LP Rosa
32013
Grounding Natural Language Instructions: Can Large Language Models Capture Spatial Information?
J Rozanova, D Ferreira, K Dubba, W Cheng, D Zhang, A Freitas
arXiv preprint arXiv:2109.08634, 2021
22021
Proceedings of the 1st Workshop on Mathematical Natural Language Processing (MathNLP)
D Ferreira, M Valentino, A Freitas, S Welleck, M Schubotz
Proceedings of the 1st Workshop on Mathematical Natural Language Processing …, 2022
2022
Qualitative investigation of information behaviour in individuals with visual impairment to inform virtual digital-assistant design
J Taylor, A Subramanian, A Freitas, DM Ferreira, C Dickinson
Investigative Ophthalmology & Visual Science 63 (7), 1717–F0035-1717–F0035, 2022
2022
Mathematical Language Processing: Deep Learning Representations and Inference Over Mathematical Text
DM Ferreira
PQDT-Global, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20