paper-with-me

Papers

Requirement Formalisation using Natural Language Processing and Machine Learning: A Systematic Review

2023-03-18 · Shekoufeh Kolahdouz-Rahimi, Kevin Lano, Chenghua Lin

Improvement of software development methodologies attracts developers to automatic Requirement Formalisation (RF) in the Requirement Engineering (RE) field. The potential advantages by applying Natural Language Processing (NLP) and Machine Learning (ML) in reducing the ambiguity and incompleteness of requirement written in natural languages is reported in different studies. The goal of this paper is to survey and classify existing work on NLP and ML for RF, identifying challenges in this domain and providing promising future research directions. To achieve this, we conducted a systematic literature review to outline the current state-of-the-art of NLP and ML techniques in RF by selecting 257 papers from common used libraries. The search result is filtered by defining inclusion and exclusion criteria and 47 relevant studies between 2012 and 2022 are selected. We found that heuristic NLP approaches are the most common NLP techniques used for automatic RF, primary operating on structured and semi-structured data. This study also revealed that Deep Learning (DL) technique are not widely used, instead classical ML techniques are predominant in the surveyed studies. More importantly, we identified the difficulty of comparing the performance of different approaches due to the lack of standard benchmark cases for RF.

📄 PDF Abstract BibTeX arXiv:2303.13365

Code (0)

등록된 구현이 없습니다.

Tasks

Systematic Literature Review

Similar Papers 제목 키워드 기반

Coherency through formalisations of Structured Natural Language, A case study on FRETish

2026-05-11 · Joost J. Joosten, Marina López Chamosa, Sofía Santiago Fernández arxiv

Formalisation is the process of writing system requirements in a formal language. These requirements mostly originate in Natural Language. In the field of Formal Methods, formalisation is often identified as one of the m…

Towards a Mathematics Formalisation Assistant using Large Language Models

2022-11-14 · Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan 외

Mathematics formalisation is the task of writing mathematics (i.e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal language that can then be checked for correctn…

Language ModelingLanguage ModellingLarge Language Model

Towards a Resource Grammar for Runyankore and Rukiga

2019-08-01 · WS 2019 8 · David Bamutura, Peter Ljungl{\"o}f

Currently, there is a lack of computational grammar resources for many under-resourced languages which limits the ability to develop Natural Language Processing (NLP) tools and applications such as Multilingual Document …

Machine TranslationTranslation

Investigating the Robustness of Deductive Reasoning with Large Language Models

2025-02-04 · Fabian Hoppe, Filip Ilievski, Jan-Christoph Kalo

Large Language Models (LLMs) have been shown to achieve impressive results for many reasoning-based Natural Language Processing (NLP) tasks, suggesting a degree of deductive reasoning capability. However, it remains uncl…

counterfactual

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

2026-04-24 · Jordan Meadows, Lan Zhang, Andre Freitas arxiv

Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specific machinery (\textit{e.g.} Dirac notatio…

Mathematical ReasoningCode Generation