English
Related papers

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

200 papers

Large Language Models (LLMs) increasingly power generative search engines which, in turn, drive human information seeking and decision making at scale. The extent to which humans trust generative artificial intelligence (GenAI) can…

Computers and Society · Computer Science 2025-04-10 Haiwen Li , Sinan Aral

Deep Generative AI has been a long-standing essential topic in the machine learning community, which can impact a number of application areas like text generation and computer vision. The major paradigm to train a generative model is…

Machine Learning · Computer Science 2025-02-25 Yuanjiang Cao , Quan Z. Sheng , Julian McAuley , Lina Yao

Creativity is core to being human. Generative artificial intelligence (GenAI) holds promise for humans to be more creative by offering new ideas, or less creative by anchoring on GenAI ideas. We study the causal impact of GenAI on the…

Human-Computer Interaction · Computer Science 2025-01-22 Anil R. Doshi , Oliver P. Hauser

Generative Artificial Intelligence (GenAI) and Large Language Models (LLMs) are marvels of technology; celebrated for their prowess in natural language processing and multimodal content generation, they promise a transformative future. But…

Computers and Society · Computer Science 2024-02-23 Emilio Ferrara

This study explores the integration of generative artificial intelligence (AI), specifically large language models, with multi-modal analogical reasoning as an innovative approach to enhance science, technology, engineering, and mathematics…

Artificial Intelligence · Computer Science 2023-08-22 Chen Cao , Zijian Ding , Gyeong-Geon Lee , Jiajun Jiao , Jionghao Lin , Xiaoming Zhai

With increasing awareness of the hallucination risks of generative artificial intelligence (AI), we see a growing shift toward providing information tooling to help users determine the veracity of AI-generated answers for themselves. User…

Human-Computer Interaction · Computer Science 2026-03-13 Jessica Irons , Patrick Cooper , Necva Bolucu , Roelien Timmer , Huichen Yang , Changhyun Lee , Brian Jin , Andreas Duenser , Stephen Wan

This paper presents an investigation of the capabilities of Generative Pre-trained Transformers (GPTs) to auto-generate graphical process models from multi-modal (i.e., text- and image-based) inputs. More precisely, we first introduce a…

Software Engineering · Computer Science 2024-06-10 Marvin Voelter , Raheleh Hadian , Timotheus Kampik , Marius Breitmayer , Manfred Reichert

High-resolution image generation with Generative Artificial Intelligence (GenAI) has immense potential but, due to the enormous capital investment required for training, it is increasingly centralised to a few large corporations, and hidden…

Computer Vision and Pattern Recognition · Computer Science 2023-12-18 Ruoyi Du , Dongliang Chang , Timothy Hospedales , Yi-Zhe Song , Zhanyu Ma

Generative AI (GenAI) tools are radically expanding the scope and capability of automation in knowledge work such as academic research. While promising for augmenting cognition and streamlining processes, AI-assisted research tools may also…

Human-Computer Interaction · Computer Science 2025-04-22 Runlong Ye , Matthew Varona , Oliver Huang , Patrick Yung Kang Lee , Michael Liut , Carolina Nobre

From a simple text prompt, generative-AI image models can create stunningly realistic and creative images bounded, it seems, by only our imagination. These models have achieved this remarkable feat thanks, in part, to the ingestion of…

Computer Vision and Pattern Recognition · Computer Science 2025-08-14 Matyas Bohacek , Hany Farid

The dawn of Generative Artificial Intelligence (GAI), characterized by advanced models such as Generative Pre-trained Transformers (GPT) and other Large Language Models (LLMs), has been pivotal in reshaping the field of data analysis,…

Cryptography and Security · Computer Science 2024-05-06 Shivani Metta , Isaac Chang , Jack Parker , Michael P. Roman , Arturo F. Ehuan

Generative AI is reshaping how software is designed, written, and maintained. Advances in large language models (LLMs) are enabling new development styles - from chat-oriented programming and 'vibe coding' to agentic programming - that can…

Software Engineering · Computer Science 2025-10-14 Vivek Acharya

This paper presents a critical analysis of generative Artificial Intelligence (AI) detection tools in higher education assessments. The rapid advancement and widespread adoption of generative AI, particularly in education, necessitates a…

Computers and Society · Computer Science 2024-01-02 Cesare G. Ardito

We performed a billion locality sensitive hash comparisons between artificially generated data samples to answer the critical question - can we reproduce the results of generative AI models? Reproducibility is one of the pillars of…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-07 Edward Kim , Isamu Isozaki , Naomi Sirkin , Michael Robson

Generative AI systems have entered everyday academic, professional, and personal life with remarkable speed, yet most users encounter them as mysterious artifacts rather than intelligible systems. This chapter discusses large language…

Computers and Society · Computer Science 2026-04-21 John T. Behrens

The proliferation of IoT in cities, combined with Digital Twins, creates a rich data foundation for Smart Cities aimed at improving urban life and operations. Generative AI (GenAI) significantly enhances this potential, moving beyond…

Other Computer Science · Computer Science 2025-09-03 Ankit Shetgaonkar , Dipen Pradhan , Lakshit Arora , Sanjay Surendranath Girija , Shashank Kapoor , Aman Raj

Generative Artificial Intelligence (GenAI) is rapidly reshaping the global financial landscape, offering unprecedented opportunities to enhance customer engagement, automate complex workflows, and extract actionable insights from vast…

Cryptography and Security · Computer Science 2025-05-01 Bikash Saha , Nanda Rani , Sandeep Kumar Shukla

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these technologies have…

Hardware Architecture · Computer Science 2025-07-30 Wenbo Liu , Forbes Hou , Jon Zhang , Hong Liu , Allen Lei

This paper offers an insightful examination of how currently top-trending AI technologies, i.e., generative artificial intelligence (Generative AI) and large language models (LLMs), are reshaping the field of video technology, including…

Computer Vision and Pattern Recognition · Computer Science 2024-04-26 Pengyuan Zhou , Lin Wang , Zhi Liu , Yanbin Hao , Pan Hui , Sasu Tarkoma , Jussi Kangasharju

Generative artificial intelligence (GenAI) models are increasingly used for scientific data generation, yet their alignment with empirical knowledge in urban science remains unclear. Here, we introduce AI4US (Artificial Intelligence for…

Physics and Society · Physics 2025-10-02 Yecheng Zhang , Rong Zhao , Zimu Huang , Xinyu Wang , Yue Ma , Ying Long
‹ Prev 1 4 5 6 7 8 10 Next ›