中文
相关论文

相关论文: Extending the code generation capabilities of the …

200 篇论文

The continued advancement of science depends on shared and reproducible data. In the field of computational materials science and rational materials design this entails the construction of large open databases of materials properties. To…

AutoML has advanced in handling complex tasks using the integration of LLMs, yet its efficiency remains limited by dependence on specific underlying tools. In this paper, we introduce LightAutoDS-Tab, a multi-AutoML agentic system for tasks…

On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL…

软件工程 · 计算机科学 2012-06-04 Jean-Eudes Méhus , Thais Batista , Jérémy Buisson

ATLAS is a constraint-guided generation framework for structured engineering artifacts whose outputs must satisfy explicit schemas, domain rules, and audit requirements. Rather than treating a large language model as a standalone generator,…

软件工程 · 计算机科学 2026-04-07 Tong Ma , Hui Lai , Hui Wang , Zhenhu Tian , Chaochao Li , Fengjie Xu , Ling Fang

The Open Databases Integration for Materials Design (OPTIMADE) application programming interface (API) empowers users with holistic access to a growing federation of databases, enhancing the accessibility and discoverability of materials…

Machine learning models can perpetuate unintended biases from unfair and imbalanced datasets. Evaluating and debiasing these datasets and models is especially hard in text datasets where sensitive attributes such as race, gender, and sexual…

计算与语言 · 计算机科学 2024-01-15 Emmanuel Klu , Sameer Sethi

Large language models (LLMs) like GitHub Copilot and ChatGPT have emerged as powerful tools for code generation, significantly enhancing productivity and accelerating software development. However, existing benchmarks primarily focus on…

软件工程 · 计算机科学 2024-09-27 Yixi Wu , Pengfei He , Zehao Wang , Shaowei Wang , Yuan Tian , Tse-Hsun Chen

The paper describes the need for and goals of tool-integration within software development processes. In particular we focus on agile software development but are not limited to. The integration of tools and data between the different…

软件工程 · 计算机科学 2013-11-25 Max Wielsch , Raik Bieniek , Bernd Grams , Jörg Lässig

In this work, we explore explicit Large Language Model (LLM)-powered support for the iterative design of computer programs. Program design, like other design activity, is characterized by navigating a space of alternative problem…

人机交互 · 计算机科学 2025-03-11 J. D. Zamfirescu-Pereira , Eunice Jun , Michael Terry , Qian Yang , Björn Hartmann

Recent improvements in large language models have opened new opportunities for accelerating and automating scientific workflows. In parallel, modern collider analyses are becoming increasingly complex and demand substantial programming and…

高能物理 - 唯象学 · 物理学 2026-02-09 W. Esmail , A. Hammad , M. Nojiri

Industrial part specification extraction from unstructured text remains a persistent challenge in manufacturing, procurement, and maintenance, where manual processing is both time-consuming and error-prone. This paper introduces a…

信息检索 · 计算机科学 2026-01-12 Muzakkiruddin Ahmed Mohammed , John R. Talburt , Leon Claasssens , Adriaan Marais

Transforming relational databases into knowledge graphs with enriched ontologies enhances semantic interoperability and unlocks advanced graph-based learning and reasoning over data. However, previous approaches either demand significant…

The development of domain-specific languages (DSLs) is a laborious and iterative process that seems to naturally lean to the use of generative artificial intelligence. We design and prototype DSL Assistant, a tool that integrates generative…

软件工程 · 计算机科学 2024-08-20 My M. Mosthaf , Andrzej Wąsowski

Recent advancements in Large Language Models (LLMs) offer new opportunities to create natural language interfaces for Autonomous Driving Systems (ADSs), moving beyond rigid inputs. This paper addresses the challenge of mapping the…

机器人学 · 计算机科学 2026-01-26 Marvin Seegert , Korbinian Moller , Johannes Betz

Human Intelligence (HI) excels at combining basic skills to solve complex tasks. This capability is vital for Artificial Intelligence (AI) and should be embedded in comprehensive AI Agents, enabling them to harness expert models for complex…

人工智能 · 计算机科学 2023-11-06 Yingqiang Ge , Wenyue Hua , Kai Mei , Jianchao Ji , Juntao Tan , Shuyuan Xu , Zelong Li , Yongfeng Zhang

The Gisela framework for declarative programming was developed with the specific aim of providing a tool that would be useful for knowledge representation and reasoning within real-world applications. To achieve this, a complete integration…

软件工程 · 计算机科学 2007-05-23 Goran Falkman , Olof Torgersson

In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient implementation of individual operations, which are taken by other…

机器学习 · 计算机科学 2020-02-18 Frederik Gossen , Alnis Murtovi , Philip Zweihoff , Bernhard Steffen

Aggregate programming is a field-based coordination paradigm with over a decade of exploration and successful applications across domains including sensor networks, robotics, and IoT, with implementations in various programming languages,…

软件工程 · 计算机科学 2026-04-01 Gianluca Aguzzi , Davide Domini , Nicolas Farabegoli , Mirko Viroli

There are numerous frameworks capable of creating and orchestrating agents to address complex tasks. However, most of them highly coupled Python programming with agent declaration, making it hard for maintenance and runtime optimization. In…

多智能体系统 · 计算机科学 2025-07-29 Sirui Zeng , Xifeng Yan

Interior design often struggles to capture the subtleties of client experience, leaving gaps between what clients feel and what designers can act upon. We present AIDED, a designer-AI co-design workflow that integrates multimodal client…

人机交互 · 计算机科学 2026-02-11 Yang Chen Lin , Chen-Ying Chen , Kai-Hsin Hou , Hung-Yu Chen , Po-Chih Kuo