Natural language premise selection: Finding supporting statements for mathematical text D Ferreira, A Freitas arXiv preprint arXiv:2004.14959, 2020 | 40 | 2020 |
Premise selection in natural language mathematical texts D Ferreira, A Freitas Proceedings of the 58th Annual Meeting of the Association for Computational …, 2020 | 33 | 2020 |
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 | 24 | 2022 |
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 | 17 | 2022 |
On the Evaluation of Intelligent Process Automation D Ferreira, J Rozanova, K Dubba, D Zhang, A Freitas arXiv preprint arXiv:2001.02639, 2020 | 16 | 2020 |
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 | 13 | 2023 |
Does my representation capture X? Probe-ably D Ferreira, J Rozanova, M Thayaparan, M Valentino, A Freitas arXiv preprint arXiv:2104.05807, 2021 | 13 | 2021 |
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 | 13 | 2021 |
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 | 11 | 2022 |
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 | 10 | 2022 |
Decomposing natural logic inferences in neural NLI J Rozanova, D Ferreira, M Valentino, M Thayaparan, A Freitas arXiv preprint arXiv:2112.08289, 2021 | 9 | 2021 |
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 | 7 | 2014 |
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 | 7 | 2013 |
Supporting context monotonicity abstractions in neural nli models J Rozanova, D Ferreira, M Thayaparan, M Valentino, A Freitas arXiv preprint arXiv:2105.08008, 2021 | 6 | 2021 |
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 | 5 | 2023 |
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 | 5 | 2021 |
Utilização de algoritmos genéticos para sequenciamento de partidas em aeroportos DM Ferreira, LP Rosa | 3 | 2013 |
Mathematical language processing: deep learning representations and inference over mathematical text DM Ferreira PQDT-Global, 2022 | 1 | 2022 |
Proceedings of the 2nd Workshop on Mathematical Natural Language Processing@ LREC-COLING 2024 M Valentino, D Ferreira, M Thayaparan, A Freitas Proceedings of the 2nd Workshop on Mathematical Natural Language Processing …, 2024 | | 2024 |
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 |