Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Controlled Natural Language"”.
-
Design and evaluation of a method to reduce the lexical ambiguity of requirement specifications
… considered an unavoidable side-effect of using natural language, and most requirement specifications are written in natural language. One proposed solution to the ambiguity problem is to express requirements in Controlled Natural Language (CNL). CNLs enforce grammatical and/or lexical …
-
Language models for verifiable mathematical automation: Interaction, integration, and autoformalization
… automated reasoners only have formal-language repositories at their disposal and cannot use the much larger natural-language corpora, since natural language comprehension is difficult. While controlled natural language interfaces with formal syntax have been designed (e.g., Naproche), …
-
Reinforcement Learning–Based Discrete Prompt Optimization for Neuro-Symbolic Structured Simplification of Complex Game Descriptions with Large Language Models
This thesis investigates how large language models can be trained to perform structured simplification of complex, free-form game descriptions for the GameChangineer platform. The work formalizes simplification as a discrete prompt optimization problem and introduces a neuro-symbolic pipeline that …
-
NAT2TEST: generating test cases from natural language requirements based on CSP
… the very beginning of the project, when usually natural-language requirements are available. Therefore, the use of MBT is postponed. Here, we propose an MBT strategy for generating test cases from controlled naturallanguage (CNL) requirements: NAT2TEST, which refrains the user from knowing the …