Relevant bibliographies by topics / Formal language generation

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Formal language generation'

Author: Grafiati
Published: 3 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formal language generation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formal language generation"

1

Van Deemter, Kees, Ehud Reiter, and Helmut Horacek. "Formal Issues in Natural Language Generation." Research on Language and Computation 4, no. 1 (2006): 1–7. http://dx.doi.org/10.1007/s11168-006-9008-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dreisbach, Jeconiah Louis, and Feorillo Petronilo A. Demeterio III. "INTERGENERATIONAL LANGUAGE PREFERENCE SHIFT AMONG CEBUANOS ON THE CEBUANO, FILIPINO, AND ENGLISH LANGUAGES." LLT Journal: A Journal on Language and Language Teaching 23, no. 2 (2020): 220–40. http://dx.doi.org/10.24071/llt.v23i2.2581.

Full text
Abstract:
The historical linguistic conflict of the Cebuano people against the Tagalog-based Philippine national language has been evident in the literature written by Cebuano academics. However, there is no published empirical evidence that presents the on-ground language attitudes of the Cebuanos on the Cebuano, Filipino, and English languages. Employing mixed methods research, the researchers found that both generations predominantly use the Cebuano language for everyday communication. A significant difference was observed in the use of Filipino and English languages as the younger generation spoke i
APA, Harvard, Vancouver, ISO, and other styles
3

Graics, Bence, Vince Molnár, András Vörös, István Majzik, and Dániel Varró. "Mixed-semantics composition of statecharts for the component-based design of reactive systems." Software and Systems Modeling 19, no. 6 (2020): 1483–517. http://dx.doi.org/10.1007/s10270-020-00806-5.

Full text
Abstract:
Abstract The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both practical applicability (support for different composition approaches in various application domains), and precise formal semantics (support for verification and code generation) have to be taken into account. In our Gamma Statechart Composition Framework, we designed and implemented a composition language for the synchronous, cascade synchronous and asynchronous composition of sta
APA, Harvard, Vancouver, ISO, and other styles
4

Dreisbach, Jeconiah Louis, and Feorillo Petronilo A. Demeterio III. "Language use and preference in the multilingual context of Davao City, Philippines." Studies in English Language and Education 8, no. 1 (2021): 313–27. http://dx.doi.org/10.24815/siele.v8i1.18454.

Full text
Abstract:
This paper is a pioneering study on the language use and preference of the Davaoeños from generations X (born in the years 1965 to 1979) and Z (born in the years 1995 to 2015) towards the Cebuano, Filipino, and English languages. Being a linguistically diverse area, Davao is home to the emerging contact language Davao Filipino which is currently spoken by the various ethnolinguistic groups currently inhabiting the city. This study utilized mixed methods research, particularly a survey questionnaire and focus group discussions, to explore the perspectives of the respondents on the said language
APA, Harvard, Vancouver, ISO, and other styles
5

Mündler, Niels, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, and Martin Vechev. "Type-Constrained Code Generation with Language Models." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 601–26. https://doi.org/10.1145/3729274.

Full text
Abstract:
Large language models (LLMs) have achieved notable success in code generation. However, they still frequently produce uncompilable output because their next-token inference procedure does not model formal aspects of code. Although constrained decoding is a promising approach to alleviate this issue, it has only been applied to handle either domain-specific languages or syntactic features of general-purpose programming languages. However, LLMs frequently generate code with typing errors, which are beyond the domain of syntax and generally hard to adequately constrain. To address this challenge,
APA, Harvard, Vancouver, ISO, and other styles
6

Lestari, Citra, Kenny Jihiro, Andreas Lim, Daniel Aprilio, and Franciscus Valentinus. "Penggunaan Kamus Singkatan Kata Bahasa Indonesia Sehari-Hari dalam Pembangkitan Fitur Teks." Jurnal Informatika Universitas Pamulang 8, no. 2 (2023): 121–28. http://dx.doi.org/10.32493/informatika.v8i2.29306.

Full text
Abstract:
Natural Language Processing (NLP) research on Indonesian language is relatively slow compared to other languages, such as English or Chinese. Most of the researches are dealing with Indonesian formal textes. Some NLP researches that are dealing with Indoensian informal texts are having quite difficulty since Indonesian informal language usually combines formal language, daily language, and local language. In addition, there is a habit in Indoensians to use abbreviation in texting. These cause great difficulty in features generation process, where machines fail to identify stopwords and form le
APA, Harvard, Vancouver, ISO, and other styles
7

Potiyenko, S. V., and A. V. Kolchin. "Generation of multipurpose formal models from legacy code." PROBLEMS IN PROGRAMMING, no. 3-4 (December 2022): 42–50. http://dx.doi.org/10.15407/pp2022.03-04.042.

Full text
Abstract:
In this paper a method for generation of formal models from legacy systems code is proposed. The purpose of these models is to have a possibility of their application in different tasks such as automatic generation of executable tests, translation to modern programming languages, reverse engineering. The method pursues goals to decrease complexity of state space search and checking formulas satisfiability in relation to the direct code modeling, and to help legacy systems understanding and implementing in modern technologies. We focused on formalization of Cobol memory model as it is the most
APA, Harvard, Vancouver, ISO, and other styles
8

Thangaraj, Jagadeeswaran, and Senthilkumaran Ulaganathan. "A Comparative Study on Transformation of UML/OCL to Other Specifications." Recent Advances in Computer Science and Communications 13, no. 2 (2020): 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.

Full text
Abstract:
Background: Static verification is a sound programming methodology that permits automated reasoning about the correctness of an implementation with respect to its formal specification before its execution. Unified Modelling Language is most commonly used modelling language which describes the client’s requirement. Object Constraint Language is a formal language which allows users to express textual constraints regarding the UML model. Therefore, UML/OCL express formal specification and helps the developers to implement the code according to the client’s requirement through software design. Obj
APA, Harvard, Vancouver, ISO, and other styles
9

Boutekkouk, Fateh. "Towards automatic Maude specifications generation from C functions." Journal of Innovation Information Technology and Application (JINITA) 5, no. 1 (2023): 83–96. http://dx.doi.org/10.35970/jinita.v5i1.1846.

Full text
Abstract:
In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively. Maude is a formal specification language characterized by simplicity, expressivity and good performance. It is a multi-paradigm meta-language based on rewriting logic and equational theories used to specify, simulate and formally verify concurrent and distributed systems. Maude has been used to define the operational semantics of many programming and specification languages. In particular, the addition of this paper is to close the gap be
APA, Harvard, Vancouver, ISO, and other styles
10

Ningsih, Claudia Ratna, Irma Yanti Sitorus, Najla Haifa Maulidina Tarigan, Yasinta Theresya Claudia Malau, and Fitriani Lubis. "Analysis of the Role of the Karo Ethnic Young Generation in Preserving the Karo Language Amid the Challenges of Modernity." QISTINA: Jurnal Multidisiplin Indonesia 3, no. 2 (2024): 1290–95. https://doi.org/10.57235/qistina.v3i2.4012.

Full text
Abstract:
This research aims to analyze the role of the young generation of Karo ethnicity in preserving the Karo language, especially amidst the challenges of modernity. The Karo language, as part of the cultural identity of the Karo ethnic group, is experiencing a shift in usage among the younger generation due to the influence of modernization, urbanization and the dominance of national and international languages. This research uses a qualitative approach with a literature study method, which utilizes various written sources such as scientific journals and academic articles. Through this method, res
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formal language generation"

1

Schulze, Walter. "A formal language theory approach to music generation." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/4157.

Full text
Abstract:
Thesis (MSc (Mathematical Sciences))-- University of Stellenbosch, 2010.<br>ENGLISH ABSTRACT: We investigate the suitability of applying some of the probabilistic and automata theoretic ideas, that have been extremely successful in the areas of speech and natural language processing, to the area of musical style imitation. By using music written in a certain style as training data, parameters are calculated for (visible and hidden) Markov models (of mixed, higher or first order), in order to capture the musical style of the training data in terms of mathematical models. These models are
APA, Harvard, Vancouver, ISO, and other styles
2

Kamath, Roshan. "Type-Safety Obligation Generation in Rosetta." University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1026494806.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Adam, Laura. "Mapping Genotype to Phenotype using Attribute Grammar." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/51768.

Full text
Abstract:
Over the past 10 years, several synthetic biology research groups have proposed tools and domain-specific languages to help with the design of artificial DNA molecules. Community standards for exchanging data between these tools, such as the Synthetic Biology Open Language (SBOL), have been developed. It is increasingly important to be able to perform in silico simulation before the time and cost consuming wet lab realization of the constructs, which, as technology advances, also become in themselves more complex. By extending the concept of describing genetic expression as a language, we prop
APA, Harvard, Vancouver, ISO, and other styles
4

Hadjadj, Mohammed. "Modélisation de la Langue des Signes Française : Proposition d’un système à compositionalité sémantique." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS560/document.

Full text
Abstract:
La reconnaissance de la langue des signes française (LSF) comme une langue à part entière en 2005 a créé un besoin important de développement d’outils informatiques pour rendre l’information accessible au public sourd. Dans cette perspective, cette thèse a pour cadre la modélisation linguistique pour un système de génération de la LSF. Nous présentons dans un premier temps les différentes approches linguistiques ayant pour but la description linguistique des langues des signes (LS). Nous présentons ensuite les travaux effectués en informatique pour les modéliser.Dans un deuxième temps, nous pr
APA, Harvard, Vancouver, ISO, and other styles
5

Miyazawa, Alvaro Heiji. "Geração parcial de código Java a partir de especificações formais Z." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/.

Full text
Abstract:
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação for
APA, Harvard, Vancouver, ISO, and other styles
6

Antunes, Cleverton Hentz. "Gera??o autom?tica de testes a partir de descri??es de linguagens." Universidade Federal do Rio Grande do Norte, 2010. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18004.

Full text
Abstract:
Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 ClevertonHA.pdf: 1775580 bytes, checksum: 9e49f67c9b7fbb459e2b24f568db691b (MD5) Previous issue date: 2010-03-01<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we
APA, Harvard, Vancouver, ISO, and other styles
7

Dieumegard, Arnaud. "Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages." Thesis, Toulouse, INPT, 2015. http://www.theses.fr/2015INPT0016/document.

Full text
Abstract:
Les fonctions de commande et de contrôle sont parmi les plus importantes des systèmes embarqués critiques utilisés dans des activités telles les transports, la santé ou la gestion de l’énergie. Leur impact potentiel sur la sûreté de fonctionnement fait de la vérification de leur correction l’un des points les plus critiques de leur développement. Cette vérification est usuellement effectuée en accord avec les normes de certification décrivant un ensemble d’objectifs à atteindre afin d’assurer un haut niveau de qualité du système et donc de prévenir l’apparition de défauts. Cette vérification d
APA, Harvard, Vancouver, ISO, and other styles
8

Kyjovská, Linda. "Syntaktická analýza založená na multigenerování." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235439.

Full text
Abstract:
This work deals with syntax analysis problems based on multi-generation. The basic idea is to create computer program, which transforms one input string to n -1 output strings. An Input of this program is some plain text file created by user, which contains n grammar rules. Just one grammar from the input file is marked as an input grammar and others n -1 grammars are output grammars. This program creates list of used input grammar rules for an input string and uses corresponding output grammar rules for the creation of n -1 output strings. The program is written in C++ and Bison
APA, Harvard, Vancouver, ISO, and other styles
9

Bourreau, Pierre. "Jeux de typage et analyse de lambda-grammaires non-contextuelles." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-00733964.

Full text
Abstract:
Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites afin de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité afin de rendre compte de la sém
APA, Harvard, Vancouver, ISO, and other styles
10

Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.

Full text
Abstract:
Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and programming languages with proofs (Coq, Agda, Idris, Dedukti, Matita, etc). Dependent types allow to encode elegantly and constructively the universal and existential quantifications of higher-order logics and are therefore adapted for writing logical propositions and proofs. However, their usage is not limited to the area of pure logic. Indeed, some recent work has shown that they
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formal language generation"

1

Badecker, William John. Formal grammars and the analysis of infinitives. Indiana University Linguistics Club, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gagarina, Larisa, and Elena Kokoreva. Introduction to the theory of algorithmic languages and compilers. INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1872635.

Full text
Abstract:
The textbook provides a systematic course of mastering the theory of formal languages and grammars — both regular and context-free. The modern tasks of lexical, syntactic and semantic analysis are considered, as well as the well-known principles of their use for solving practical problems of software creation. The strict style of presentation is accompanied by numerous examples, as well as tasks for independent solution as part of practical tasks necessary for deep assimilation of the material. Meets the requirements of the federal state educational standards of higher education of the latest
APA, Harvard, Vancouver, ISO, and other styles
3

Meduna, Alexander. Grammars with context conditions and their applications. Wiley-Interscience, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lämmel, Ralf. Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Vasil'eva, Viktoriya, Liliya Duskaeva, Lyubov' Ivanova, et al. Criticism of media speech. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1863377.

Full text
Abstract:
Criticism of media speech is one of the directions in media linguistics based on the assessment of the quality of speech activity in the mass media. Within the framework of this direction, several subdisciplines have already been formed, each of which has its own approaches to the development of problems of the norm and the assessment of compliance with it. The manual contains two sections. The first one is devoted to the praxiolinguistic criticism of media speech. It shows how the use of the axiological scale of speech behavior in the media "effectively — permissible (unsuccessful — unaccepta
APA, Harvard, Vancouver, ISO, and other styles
6

Chierchia, Gennaro. Dynamics of meaning: Anaphora, presupposition, and the theory of grammar. University of Chicago Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bateman, John, and Michael Zock. Natural Language Generation. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0015.

Full text
Abstract:
Communication via a natural language requires two fundamental skills, producing text and understanding it. This article introduces the field of computational approaches to the former-natural language generation (NLG) showing some of the theoretical and practical problems that linguists, computer scientists, and psychologists have encountered when trying to explain how language works in machines or in their minds. The corresponding task of NLG spans a wide spectrum: ranging from planning some action to executing it. Providing architectures in which all of these decisions can be made to coexist,
APA, Harvard, Vancouver, ISO, and other styles
8

Martín-Vide, Carlos. Formal Grammars and Languages. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0008.

Full text
Abstract:
This article introduces the preliminaries of classical formal language theory. It outlines the main classes of grammars as language-generating devices and automata as language-recognizing devices. It offers a number of definitions and examples and presents the basic results. It classifies grammar according to several criteria. The most widespread one is the form of their productions. This article presents a systematic study of the common properties of language families has led to the theory of abstract families of languages. It shows that a context-free grammar generates not only a set of stri
APA, Harvard, Vancouver, ISO, and other styles
9

Some results on small context-free grammars generating primitive words. Universität Hamburg, Fachbereich Informatik, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kuppusamy, Lakshmanan. New Classes of Contextual Grammars for Mildly Context Sensitive Formalisms. Nova Science Publishers, Incorporated, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formal language generation"

1

Patten, Terry, and Graeme Ritchie. "A Formal Model of Systemic Grammar." In Natural Language Generation. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3645-4_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dediu, Adrian-Horia, and Gabriela Martín. "Trees as Contexts in Formal Language Generation." In Advances in Natural Language Processing. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11816508_73.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Giannakopoulou, Dimitra, Thomas Pressburger, Anastasia Mavridou, and Johann Schumann. "Generation of Formal Requirements from Structured Natural Language." In Requirements Engineering: Foundation for Software Quality. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44429-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tayal, Madhuri A., M. SasiKumar, Arya Mukkirwar, Srushti Kamdi, and Harsh Singh. "Sentence Generator for Hindi Language Using Formal Semantics." In Transfer, Diffusion and Adoption of Next-Generation Digital Technologies. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-50188-3_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zhang, Weihang, and Shaoying Liu. "Supporting Tool for Automatic Specification-Based Test Case Generation." In Structured Object-Oriented Formal Language and Method. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39277-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Chang, Longhui, Huaikou Miao, and Gongzheng Lu. "An Implementation Framework for Optimizing Test Case Generation Using Model Checking." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17404-4_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Xiaobing, Ge Li, Chunyi Li, Liang Zhao, and Xinfeng Shu. "Automatic Generation of Specification from Natural Language Based on Temporal Logic." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77474-5_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Qin, Xu, Shaoying Liu, and Zhang Tao. "A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41418-4_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

van Deemter, Kees, and Jan Odijk. "Formal and Computational Models of Context for Natural Language Generation." In Applied Logic Series. Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-015-9397-7_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sato, Yuji, and Taku Sugihara. "Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31220-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formal language generation"

1

Ma, Lezhi, Shangqing Liu, Yi Li, Xiaofei Xie, and Lei Bu. "SpecGen: Automated Generation of Formal Program Specifications via Large Language Models." In 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). IEEE, 2025. https://doi.org/10.1109/icse55347.2025.00129.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sevenhuijsen, Merlijn, Khashayar Etemadi, and Mattias Nyberg. "VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models." In 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE, 2025. https://doi.org/10.1109/formalise66629.2025.00017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Zhou, Motian, Chen Wu, and Chao Sun. "Evaluating Automated Geometric Problem Solving with Formal Language Generation on Large Multimodal Models." In 2024 International Conference on Intelligent Education and Intelligent Research (IEIR). IEEE, 2024. https://doi.org/10.1109/ieir62538.2024.10959992.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Zhaoyang, Jinqi Jiang, Huichi Zhou, et al. "Verifiable Format Control for Large Language Model Generations." In Findings of the Association for Computational Linguistics: NAACL 2025. Association for Computational Linguistics, 2025. https://doi.org/10.18653/v1/2025.findings-naacl.194.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Alimin, Achmad Anggawirya, Dominik P. Goldstein, Lukas Schulze Balhorn, and Artur M. Schweidtmann. "Talking like Piping and Instrumentation Diagrams (P&IDs)." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.159477.

Full text
Abstract:
We propose a methodology that allows communication with Piping and Instrumentation Diagrams (P&amp;IDs) using natural language. In particular, we represent P&amp;IDs through the DEXPI data model as labeled property graphs and integrate them with Large Language Models (LLMs). The approach consists of three main parts: 1) P&amp;IDs are cast into a graph representation from the DEXPI format using our pyDEXPI Python package. 2) A tool for generating P&amp;ID knowledge graphs from pyDEXPI. 3) Integration of the P&amp;ID knowledge graph to LLMs using graph-based retrieval augmented generation (graph
APA, Harvard, Vancouver, ISO, and other styles
6

Carreira-Munich, Tobias, Valentín Paz-Marcolla, and Rodrigo Castro. "DEVS Copilot: Towards Generative AI-Assisted Formal Simulation Modelling based on Large Language Models." In 2024 Winter Simulation Conference (WSC). IEEE, 2024. https://doi.org/10.1109/wsc63780.2024.10838994.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dougherty, Quinn, and Ronak Mehta. "Proving the Coding Interview: A Benchmark for Formally Verified Code Generation." In 2025 IEEE/ACM International Workshop on Large Language Models for Code (LLM4Code). IEEE, 2025. https://doi.org/10.1109/llm4code66737.2025.00014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Rupprecht, Sophia, Yassine Hounat, Monisha Kumar, Giacomo Lastrucci, and Artur M. Schweidtmann. "Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.165009.

Full text
Abstract:
As large language models have shown remarkable capabilities in conversing via natural language, the question arises in which way LLMs could potentially assist chemical engineers in research and industry with domain-specific tasks. We generate dynamic chemical reactor models in Modelica code format from textual descriptions as user input. We fine-tune Llama 3.1 8B Instruct on synthetically generated Modelica code for different reactor scenarios. We compare the performance of our fine-tuned model to the baseline Llama 3.1 8B Instruct model as well as GPT4o. We manually assess the models' predict
APA, Harvard, Vancouver, ISO, and other styles
9

Manome, Kana, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, and Daisuke Bekki. "Neural sentence generation from formal semantics." In Proceedings of the 11th International Conference on Natural Language Generation. Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/w18-6549.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Metere, Roberto, and Luca Arnaboldi. "Automating cryptographic protocol language generation from structured specifications." In FormaliSE '22: International Conference on Formal Methods in Software Engineering. ACM, 2022. http://dx.doi.org/10.1145/3524482.3527654.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formal language generation"

1

Ma, Yue, and Felix Distel. Learning Formal Definitions for Snomed CT from Text. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.193.

Full text
Abstract:
Snomed CT is a widely used medical ontology which is formally expressed in a fragment of the Description Logic EL++. The underlying logics allow for expressive querying, yet make it costly to maintain and extend the ontology. Existing approaches for ontology generation mostly focus on learning superclass or subclass relations and therefore fail to be used to generate Snomed CT definitions. In this paper, we present an approach for the extraction of Snomed CT definitions from natural language texts, based on the distance relation extraction approach. By benefiting from a relatively large amount
APA, Harvard, Vancouver, ISO, and other styles
2

Willis, Craig. ECMI Minorities Blog. Minority Language Media and TikTok: Are Broadcasters Showing They Are Still Relevant for Younger Audiences? European Centre for Minority Issues, 2023. http://dx.doi.org/10.53779/qlmm1477.

Full text
Abstract:
Whilst younger audiences move away from traditional forms of media consumption, public broadcasters – including those in minority languages – have long been facing declining viewing figures in terms of linear television. At the same time, social media consumption habits are diverging along a generational gap – younger audiences favour TikTok and Instagram over Facebook or Twitter. This blogpost sheds light on one element of this, analysing the attempts of institutional actors – in this case minority language broadcasters – to reach different audience segments by creating content directly throu
APA, Harvard, Vancouver, ISO, and other styles
3

Mahdi, Juwan, and Yarjanik Kerob. The Language of the Armenian Ethno-Linguistic Subgroup in Kurdistan Region of Iraq from the Last Generation to Today. Institute of Development Studies, 2023. http://dx.doi.org/10.19088/creid.2023.003.

Full text
Abstract:
This topic is significant because it considers the language of an ethno-religious group, the Armenian people, in Iraq with non-Arab or Kurdish origins. The Armenian people did not originate from Iraq but from Armenia, one of the smaller countries in the former Soviet Union. Many Armenians were forced to migrate in 1915 to different countries in the Middle East due to ethnic cleansing under the Ottomans. This study explores the different methods by which the Armenian community has maintained its native Armenian language during its history in the Kurdistan Region of Iraq (KRI). To this end, the
APA, Harvard, Vancouver, ISO, and other styles
4

Isaacs, Robert. A Lifelong Journey in Aboriginal Affairs and Community: Nulungu Reconciliation Lecture 2021. Edited by Melissa Marshall, Gillian Kennedy, Anna Dwyer, Kathryn Thorburn, and Sandra Wooltorton. Nulungu Research Institute, The University of Notre Dame Australia, 2021. http://dx.doi.org/10.32613/ni/2021.6.

Full text
Abstract:
In this 2021 Nulungu Reconciliation lecture, Dr Robert Isaacs AM OAM will explore the meaning of reconciliation and the lessons of his personal journey in two worlds. As part of the Stolen Generation, and born at the dawn of the formal Aboriginal Rights Movement, this lecture outlines the changing social attitudes through the eyes of the lived experience and the evolving national policy framework that has sought to manage, then heal, the wounds that divided a nation. Aspirations of self-determination, assimilation and reconciliation are investigated to unpack the intent versus the outcome, and
APA, Harvard, Vancouver, ISO, and other styles
5

Park, Yena, Geoffrey LaFlair, Yigal Attali, Andrew Runge, and Sarah Goodwin. Interactive Reading - The Duolingo English Test. Duolingo, 2022. http://dx.doi.org/10.46999/rcxb1889.

Full text
Abstract:
This paper introduces a new item type on the Duolingo English Test called Interactive Reading and grounds the item within the Duolingo English Test’s theoretical language assessment design framework and its assessment ecosystem. The innovative response format and automated item generation methods contribute to the specification of the construct of L2 reading, thereby strengthening the validity claims of the Duolingo English Test.
APA, Harvard, Vancouver, ISO, and other styles
6

Bengio, Yoshua, Caroline Lequesne, Hugo Loiseau, et al. Interdisciplinary Dialogues: The Major Risks of Generative AI. Observatoire international sur les impacts sociétaux de l’intelligence artificielle et du numérique, 2024. http://dx.doi.org/10.61737/xsgm9843.

Full text
Abstract:
In an exciting series of Interdisciplinary Dialogues on the societal impacts of AI, we invite a guest speaker and panellists from the fields of science and engineering, health and humanities and social sciences to discuss the advances, challenges and opportunities raised by AI. The first dialogue in this series began with Yoshua Bengio, who, concerned about developments in generative AI and the major risks they pose for society, initiated the organization of a conference on the subject. The event took place on August 14, 2023 in Montreal, and was aimed at initiating collective, interdisciplina
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal language generation' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography