English
Related papers

Related papers: Generative AI Augmented Induction-based Formal Ver…

200 papers

Modern software systems are subjected to various types of uncertainties arising from context, environment, etc. To this end, self-adaptation techniques have been sought out as potential solutions. Although recent advances in self-adaptation…

Software Engineering · Computer Science 2024-04-16 Raghav Donakanti , Prakhar Jain , Shubham Kulkarni , Karthik Vaidhyanathan

his paper explores what kinds of questions are best served by the way generative AI (GenAI) using Large Language Models(LLMs) that aggregate and package knowledge, and when traditional curated web-sourced search results serve users better.…

Human-Computer Interaction · Computer Science 2024-10-17 Ted Selker , Yunzi Wu

Prompts used in recent large language model based applications are often fixed and lengthy, leading to significant computational overhead. To address this challenge, we propose Generative Prompt Internalization (GenPI), a lightweight method…

Computation and Language · Computer Science 2026-02-12 Haebin Shin , Lei Ji , Yeyun Gong , Sungdong Kim , Eunbi Choi , Minjoon Seo

This thesis presents a framework that integrates state-of-the-art generative AI models for real-time creation of three-dimensional (3D) objects in augmented reality (AR) environments. The primary goal is to convert diverse inputs, such as…

Graphics · Computer Science 2025-02-25 Majid Behravan

This article explores the potential of generative AI (GenAI) to support actuarial practice through four implemented case studies. It situates these case studies within the broader evolution of artificial intelligence in actuarial science,…

Computers and Society · Computer Science 2026-04-21 Simon Hatzesberger , Iris Nonneman

Artificial intelligence (AI) technology enables a range of enhancements in computer-aided instruction, from accelerating the creation of teaching materials to customizing learning paths based on learner outcomes. However, ensuring the…

Computers and Society · Computer Science 2025-11-19 Christina Perdikoulias , Chad Vance , Stephen M. Watt

With the continuous advancement of technology, artificial intelligence has significantly impacted various fields, particularly healthcare. Generative models, a key AI technology, have revolutionized medical image generation, data analysis,…

Machine Learning · Computer Science 2024-10-10 Yuan Sun , Jorge Ortiz

This chapter presents methodological reflections on the necessity and utility of artificial intelligence in generative design. Specifically, the chapter discusses how generative design processes can be augmented by AI to deliver in terms of…

Artificial Intelligence · Computer Science 2023-10-16 Pirouz Nourian , Shervin Azadi , Roy Uijtendaal , Nan Bai

We present a novel framework to advance generative artificial intelligence (AI) applications in the realm of printed art products, specifically addressing large-format products that require high-resolution artworks. The framework consists…

Computer Vision and Pattern Recognition · Computer Science 2024-05-29 Noah Pursell , Anindya Maiti

The research investigates the crucial role of clear and intelligible terms of service in cultivating user trust and facilitating informed decision-making in the context of AI, in specific GenAI. It highlights the obstacles presented by…

Computers and Society · Computer Science 2024-06-21 Sundaraparipurnan Narayanan

Table2Text systems generate textual output based on structured data utilizing machine learning. These systems are essential for fluent natural language interfaces in tools such as virtual assistants; however, left to generate freely these…

Computation and Language · Computer Science 2021-10-22 Hendrik Strobelt , Jambay Kinley , Robert Krueger , Johanna Beyer , Hanspeter Pfister , Alexander M. Rush

The ability to accomplish tasks via natural language instructions is one of the most efficient forms of interaction between humans and technology. This efficiency has been translated into practical applications with generative AI tools now…

Computational Engineering, Finance, and Science · Computer Science 2025-01-27 Yared W. Bekele

Software testing is essential to ensure system quality, but it remains time-consuming and error-prone when performed manually. Although recent advances in Large Language Models (LLMs) have enabled automated test generation, most existing…

Software Engineering · Computer Science 2025-10-02 Elvis Júnior , Alan Valejo , Jorge Valverde-Rebaza , Vânia de Oliveira Neves

Generative AI(GenAI) is a kind of AI model capable of producing human-like content in various modalities, including text, image, audio, video, and computer programming. Although GenAI offers great potential for education, its value often…

Human-Computer Interaction · Computer Science 2025-12-09 Yun Dai , Sichen Lai

Generative artificial intelligence (AI) is rapidly transforming medical imaging by enabling capabilities such as data synthesis, image enhancement, modality translation, and spatiotemporal modeling. This review presents a comprehensive and…

Image and Video Processing · Electrical Eng. & Systems 2025-08-14 Xuanru Zhou , Cheng Li , Shuqiang Wang , Ye Li , Tao Tan , Hairong Zheng , Shanshan Wang

The large and ever-increasing amount of data available on the Internet coupled with the laborious task of manual claim and fact verification has sparked the interest in the development of automated claim verification systems. Several deep…

Computation and Language · Computer Science 2025-02-12 Alphaeus Dmonte , Roland Oruche , Marcos Zampieri , Prasad Calyam , Isabelle Augenstein

This paper explores the seamless integration of Generative AI (GenAI) and Evolutionary Algorithms (EAs) within the domain of large-scale multi-objective optimization. Focusing on the transformative role of Large Language Models (LLMs), our…

Neural and Evolutionary Computing · Computer Science 2024-05-14 Gaurav Singh , Kavitesh Kumar Bali

Context: The active involvement of users and customers in agile software development remains a persistent challenge in practice. For this reason, it is important that students in higher education become familiar with good practices in Agile…

Software Engineering · Computer Science 2026-03-16 Eva-Maria Schön , Michael Neumann , Tiago Silva da Silva

Generative AI (GenAI) has witnessed remarkable progress in recent years and demonstrated impressive performance in various generation tasks in different domains such as computer vision and computational design. Many researchers have…

Machine Learning · Computer Science 2024-04-30 Yilin Ye , Jianing Hao , Yihan Hou , Zhan Wang , Shishi Xiao , Yuyu Luo , Wei Zeng

Recent advances in generative AI have brought incredible breakthroughs in several areas, including medical imaging. These generative models have tremendous potential not only to help safely share medical data via synthetic datasets but also…

‹ Prev 1 8 9 10 Next ›