English
Related papers

Related papers: The Diagrammatic AI Language (DIAL): Version 0.1

200 papers

There has been substantial growth in the use of JSON-based grammars, as well as other standard data serialization languages, to create visualizations. Each of these grammars serves a purpose: some focus on particular computational tasks…

Human-Computer Interaction · Computer Science 2022-07-19 Andrew McNutt

Calls for new metrics, technical standards and governance mechanisms to guide the adoption of Artificial Intelligence (AI) in institutions and public administration are now commonplace. Yet, most research and policy efforts aimed at…

Computers and Society · Computer Science 2023-07-21 Vincent J. Straub , Deborah Morgan , Youmna Hashem , John Francis , Saba Esnaashari , Jonathan Bright

We describe a class of tasks called decision-oriented dialogues, in which AI assistants such as large language models (LMs) must collaborate with one or more humans via natural language to help them make complex decisions. We formalize…

Computation and Language · Computer Science 2024-05-07 Jessy Lin , Nicholas Tomlin , Jacob Andreas , Jason Eisner

As conversational AI systems become more realistic and widely deployed, users are increasingly uncertain about whether they are interacting with a human or an AI system. When AI identity is unclear, users may unwittingly share sensitive…

Human-Computer Interaction · Computer Science 2026-03-19 Anna Gausen , Sarenne Wallbridge , Hannah Rose Kirk , Jennifer Williams , Christopher Summerfield

In recent advancements, large language models (LLMs) have exhibited proficiency in code generation and chain-of-thought reasoning, laying the groundwork for tackling automatic formal planning tasks. This study evaluates the potential of…

Artificial Intelligence · Computer Science 2025-02-28 Kaustubh Vyas , Damien Graux , Sébastien Montella , Pavlos Vougiouklis , Ruofei Lai , Keshuang Li , Yang Ren , Jeff Z. Pan

Circuit schematics play a crucial role in analog integrated circuit design, serving as the primary medium for human understanding and verification of circuit functionality. While recent large language model (LLM)-based approaches have shown…

Machine Learning · Computer Science 2025-10-21 Chang Liu , Danial Chitnis

This paper explores how natural-language descriptions of formal languages can be compared to their formal representations and how semantic differences can be explained. This is motivated from educational scenarios where learners describe a…

Formal Languages and Automata Theory · Computer Science 2026-02-24 Tristan Kneisel , Marko Schmellenkamp , Fabian Vehlken , Thomas Zeume

This document discusses the definition of the Parameter Description Language (PDL). In this language parameters are described in a rigorous data model. With no loss of generality, we will represent this data model using XML. It intends to…

Instrumentation and Methods for Astrophysics · Physics 2019-06-05 Carlo Maria Zwolf , Paul Harrison , Julian Garrido , Jose Enrique Ruiz , Franck Le Petit

Efforts towards endowing robots with the ability to speak have benefited from recent advancements in natural language processing, in particular large language models. However, current language models are not fully incremental, as their…

Computation and Language · Computer Science 2025-04-03 Casey Kennington , Pierre Lison , David Schlangen

This paper introduces Orthogonal Art, a proposed artistic discipline that emerges in dialectical response to artificial intelligence rather than in service of it. Unlike AI-augmented creative practices, Orthogonal Art is structurally…

Computers and Society · Computer Science 2026-04-24 Sergio Alvarez-Telena , Marta Diez-Fernandez

Dynamical systems are no strangers in wireless communications. Our story will necessarily involve chaos, but not in the terms secure chaotic communications have introduced it: we will look for the chaos, complexity and dynamics that already…

Dynamical Systems · Mathematics 2021-10-28 Harun Siljak , Irene Macaluso , Nicola Marchetti

Current medical AI systems often fail to replicate real-world clinical reasoning, as they are predominantly trained and evaluated on static text and question-answer tasks. These tuning methods and benchmarks overlook critical aspects like…

Computation and Language · Computer Science 2026-02-24 Zijie Liu , Xinyu Zhao , Jie Peng , Zhuangdi Zhu , Qingyu Chen , Kaidi Xu , Xia Hu , Tianlong Chen

As machine intelligence evolves, the need to test and compare the problem-solving abilities of different AI models grows. However, current benchmarks are often simplistic, allowing models to perform uniformly well and making it difficult to…

The problem of explaining inconsistency-tolerant reasoning in knowledge bases (KBs) is a prominent topic in Artificial Intelligence (AI). While there is some work on this problem, the explanations provided by existing approaches often lack…

Artificial Intelligence · Computer Science 2025-02-18 Loan Ho , Stefan Schlobach

Background:Technical systems are growing in complexity with more components and functions across various disciplines. Model-Driven Engineering (MDE) helps manage this complexity by using models as key artifacts. Domain-Specific Languages…

Software Engineering · Computer Science 2025-01-13 Simon Raedler , Luca Berardinelli , Karolin Winter , Abbas Rahimi , Stefanie Rinderle-Ma

In today's digital society, personalization has become a crucial aspect of software applications, significantly impacting user experience and engagement. A new wave of intelligent user interfaces, such as AI-based conversational agents, has…

Software Engineering · Computer Science 2025-06-02 Aaron Conrardy , Alfredo Capozucca , Jordi Cabot

This paper presents a concept for a software system called RAIL representing industrial indoor environments in a dynamic spatial model, aimed at easing development and provision of location-based services. RAIL integrates data from…

Robotics · Computer Science 2021-12-23 Arne Wendt , Michael Brand , Thorsten Schüppstuhl

The Piping and Instrumentation Diagrams (P&IDs) are foundational to the design, construction, and operation of workflows in the engineering and process industries. However, their manual creation is often labor-intensive, error-prone, and…

Machine Learning · Computer Science 2024-12-18 Shreeyash Gowaikar , Srinivasan Iyengar , Sameer Segal , Shivkumar Kalyanaraman

AI-based systems leverage recent advances in the field of AI/ML by combining traditional software systems with AI components. Applications are increasingly being developed in this way. Software engineers can usually rely on a plethora of…

Software Engineering · Computer Science 2024-07-29 Simon Schneider , Ananya Saha , Emanuele Mezzi , Katja Tuma , Riccardo Scandariato

"Human-aware" has become a popular keyword used to describe a particular class of AI systems that are designed to work and interact with humans. While there exists a surprising level of consistency among the works that use the label…

Robotics · Computer Science 2024-07-16 Silvia Tulli , Stylianos Loukas Vasileiou , Sarath Sreedharan