English
Related papers

Related papers: A Domain-Specific Language for Discrete Mathematic…

200 papers

Large Language Models have demonstrated remarkable progress in general-purpose capabilities and can achieve strong performance in specific domains through fine-tuning on domain-specific data. However, acquiring high-quality data for target…

Artificial Intelligence · Computer Science 2026-05-29 Tong Ye , Hang Yu , Tengfei Ma , Xuhong Zhang , Jianguo Li , Peng Di , Peiyu Liu , Jianwei Yin , Wenhai Wang

An increasing number of models and frameworks for Virtual Assistant (VA) development exist nowadays, following the progress in the Natural Language Processing (NLP) and Natural Language Understanding (NLU) fields. Regardless of their…

Software Engineering · Computer Science 2023-10-04 Nikolaos Malamas , Konstantinos Panayiotou , Andreas L. Symeonidis

Any file is fundamentally a binary data stream. A practical solution was achieved to interpret binary data stream. A new scripting language named Data Format Scripting Language (DFSL) was developed to describe the physical layout of the…

Programming Languages · Computer Science 2015-07-28 Lihua Wang , Luz Fernando Capretz

This paper presents the development and evaluation of ChatHome, a domain-specific language model (DSLM) designed for the intricate field of home renovation. Considering the proven competencies of large language models (LLMs) like GPT-4 and…

Computation and Language · Computer Science 2023-07-31 Cheng Wen , Xianghui Sun , Shuaijiang Zhao , Xiaoquan Fang , Liangyu Chen , Wei Zou

In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as…

History and Overview · Mathematics 2024-05-10 Jingsi Hou , Guangyan Huang , Sammy Suliman , Haoran Yan

For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular…

Logic in Computer Science · Computer Science 2011-06-08 Markus Latte

When creating a new domain-specific language (DSL) it is common to embed it as a part of a flexible host language, rather than creating it entirely from scratch. The semantics of an embedded DSL (EDSL) is either given directly as a set of…

Programming Languages · Computer Science 2016-12-06 Piotr Danilewski , Philipp Slusallek

Practically all of the planning research is limited to states represented in terms of Boolean and numeric state variables. Many practical problems, for example, planning inside complex software systems, require far more complex data types,…

Artificial Intelligence · Computer Science 2023-01-02 Mojtaba Elahi , Jussi Rintanen

The production process of data-centric infographics entails problems related to a disconnection between the supporting software environments. We investigate those problems and redesigns this process following the model-driven paradigm. We…

Software Engineering · Computer Science 2022-03-18 Sergio España , Vijanti Ramautar , Sietse Overbeek , Tijmen Derikx

Fine-tuning of Large Language Models (LLMs) for downstream tasks, performed on domain-specific data has shown significant promise. However, commercial use of such LLMs is limited by the high computational cost required for their deployment…

Computation and Language · Computer Science 2025-03-06 Boris Nazarov , Darya Frolova , Yackov Lubarsky , Alexei Gaissinski , Pavel Kisilev

Domain generalization (DG) aims to learn a model on one or more different but related source domains that could be generalized into an unseen target domain. Existing DG methods try to prompt the diversity of source domains for the model's…

Machine Learning · Computer Science 2022-09-14 Mengzhu Wang , Jianlong Yuan , Qi Qian , Zhibin Wang , Hao Li

As the integration of web services into web applications becomes more and more common, it is necessary to find a solution for low-code or no-code environments. This thesis is the first attempt to allow for the easy integration of web…

Software Engineering · Computer Science 2023-06-06 Bruno Steffen

A discrete Fourier analysis associated with translation lattices is developed recently by the authors. It permits two lattices, one determining the integral domain and the other determining the family of exponential functions. Possible…

Numerical Analysis · Mathematics 2009-10-29 Huiyuan Li , Jiachang Sun , Yuan Xu

This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate…

Programming Languages · Computer Science 2013-09-23 Julien Mercadal , Zoé Drey , Charles Consel

In-context learning (ICL) is an appealing approach for semantic parsing due to its few-shot nature and improved generalization. However, learning to parse to rare domain-specific languages (DSLs) from just a few demonstrations is…

Computation and Language · Computer Science 2024-03-29 Ben Bogin , Shivanshu Gupta , Peter Clark , Ashish Sabharwal

Decision lists (DLs) find a wide range of uses for classification problems in Machine Learning (ML), being implemented in a number of ML frameworks. DLs are often perceived as interpretable. However, building on recent results for decision…

Artificial Intelligence · Computer Science 2021-05-17 Alexey Ignatiev , Joao Marques-Silva

We present DAPIP, a Programming-By-Example system that learns to program with APIs to perform data transformation tasks. We design a domain-specific language (DSL) that allows for arbitrary concatenations of API outputs and constant…

Artificial Intelligence · Computer Science 2017-04-17 Surya Bhupatiraju , Rishabh Singh , Abdel-rahman Mohamed , Pushmeet Kohli

Measuring time in mass sports competitions is usually performed using expensive measuring devices. Unfortunately, these solutions are not acceptable by many organizers of sporting competitions. In order to make the measuring time as cheap…

Programming Languages · Computer Science 2012-08-22 Iztok Fister , Tomaž Kosar , Marjan Mernik , Iztok Fister

There is a gap between our ability to reuse high-level concepts in software design and our ability to reuse the code implementing them. Language Oriented Programming (LOP) is a software development paradigm that aims to close this gap,…

Software Engineering · Computer Science 2011-03-31 David H. Lorenz , Boaz Rosenan

Domain-specific languages (DSLs) play a crucial role in resolving internal dependencies across enterprises and boosts their upfront business management processes. Yet, a lot of development is needed to build modelling frameworks which…

Software Engineering · Computer Science 2025-09-09 Heerok Banerjee