English
Related papers

Related papers: Lean 5.0: A Predictive, Human-AI, and Ethically Gr…

200 papers

The adoption of cyber-physical systems and jobsite intelligence that connects design models, real-time site sensing, and autonomous field operations can dramatically enhance digital management in the construction industry. This paper…

Robotics · Computer Science 2025-09-26 Reza Akhavian , Mani Amani , Johannes Mootz , Robert Ashe , Behrad Beheshti

After Industry 4.0 has embraced tight integration between machinery (OT), software (IT), and the Internet, creating a web of sensors, data, and algorithms in service of efficient and reliable production, a new concept of Society 5.0 is…

The Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) framework provides a rigorous foundation for evidence synthesis, yet the manual processes of data extraction and literature screening remain time-consuming and…

Digital Libraries · Computer Science 2026-03-23 Samar Shailendra , Rajan Kadel , Aakanksha Sharma , Islam Mohammad Tahidul , Urvashi Rahul Saxena

The rapid advancement of Artificial Intelligence (AI) has led to unprecedented computational demands, raising significant environmental and ethical concerns. This paper critiques the prevailing reliance on large-scale, static datasets and…

Artificial Intelligence · Computer Science 2025-10-28 KC Santosh , Rodrigue Rizk , Longwei Wang

Recently, large language models (LLMs) have shown strong potential in facilitating human-robotic interaction and collaboration. However, existing LLM-based systems often overlook the misalignment between human and robot perceptions, which…

Robotics · Computer Science 2024-09-25 Yixin Chen , Guoxi Zhang , Yaowei Zhang , Hongming Xu , Peiyuan Zhi , Qing Li , Siyuan Huang

In this paper, we introduce the AI Search Paradigm, a comprehensive blueprint for next-generation search systems capable of emulating human information processing and decision-making. The paradigm employs a modular architecture of four…

Predictive Maintenance (PdM) emerged as one of the pillars of Industry 4.0, and became crucial for enhancing operational efficiency, allowing to minimize downtime, extend lifespan of equipment, and prevent failures. A wide range of PdM…

Artificial Intelligence · Computer Science 2024-05-22 Jakub Jakubowski , Natalia Wojak-Strzelecka , Rita P. Ribeiro , Sepideh Pashami , Szymon Bobek , Joao Gama , Grzegorz J Nalepa

The discovery of novel mechanical metamaterials, whose properties are dominated by their engineered structures rather than chemical composition, is a knowledge-intensive and resource-demanding process. To accelerate the design of novel…

Recent research in the field of Human Activity Recognition has shown that an improvement in prediction performance can be achieved by reducing the number of LSTM layers. However, this kind of enhancement is only significant on monolithic…

Machine Learning · Computer Science 2024-08-08 Gaoxuan Li , Chern Hong Lim , Qiyao Ma , Xinyu Tang , Hwa Hui Tew , Fan Ding , Xuewen Luo

This comprehensive survey examines Lean 4, a state-of-the-art interactive theorem prover and functional programming language. We analyze its architectural design, type system, metaprogramming capabilities, and practical applications in…

Logic in Computer Science · Computer Science 2025-02-03 Xichen Tang

This survey paper outlines the key developments in the field of Large Language Models (LLMs), including enhancements to their reasoning skills, adaptability to various tasks, increased computational efficiency, and the ability to make…

Computation and Language · Computer Science 2026-02-12 Asifullah Khan , Muhammad Zaeem Khan , Aleesha Zainab , Saleha Jamshed , Sadia Ahmad , Kaynat Khatib , Faria Bibi , Abdul Rehman

Security Operations Centers (SOCs) face growing challenges in managing cybersecurity threats due to an overwhelming volume of alerts, a shortage of skilled analysts, and poorly integrated tools. Human-AI collaboration offers a promising…

Cryptography and Security · Computer Science 2025-05-13 Massimiliano Albanese , Xinming Ou , Kevin Lybarger , Daniel Lende , Dmitry Goldgof

Developing intelligent agents capable of seamless coordination with humans is a critical step towards achieving artificial general intelligence. Existing methods for human-AI coordination typically train an agent to coordinate with a…

Machine Learning · Computer Science 2023-11-02 Cong Guan , Lichao Zhang , Chunpeng Fan , Yichen Li , Feng Chen , Lihe Li , Yunjia Tian , Lei Yuan , Yang Yu

Construction projects frequently experience schedule delays and forecasting uncertainty due to variability in labor productivity, material availability, weather conditions, and project coordination. Conventional deterministic scheduling…

Computational Engineering, Finance, and Science · Computer Science 2026-05-19 Atena Khoshkonesh , Mohsen Mohammadagha , Vinayak Kaushal , Navid Ebrahimi

This study examines the relationship between human-AI technology integration transformation and green Environmental, Social, and Governance (ESG) performance in Chinese retail enterprises, with green technology innovation serving as a…

General Economics · Economics 2025-07-08 Jun Cui

Telecommunications networks generate extensive performance and environmental telemetry, yet most LTE and 5G-NR deployments still rely on static, manually engineered configurations. This limits adaptability in rural, nomadic, and…

Networking and Internet Architecture · Computer Science 2026-02-04 Simran Saxena , Arpad Kovesdy

This article explores the evolution of constructionism as an educational framework, tracing its relevance and transformation across three pivotal eras: the advent of personal computing, the networked society, and the current era of…

Computers and Society · Computer Science 2025-01-14 Ilya Levin , Alexei L. Semenov , Mikael Gorsky

Recent technological developments and advances in Artificial Intelligence (AI) have enabled sophisticated capabilities to be a part of Digital Twin (DT), virtually making it possible to introduce automation into all aspects of work…

Software Engineering · Computer Science 2022-01-19 Ashwin Agrawal , Martin Fischer , Vishal Singh

With continual advancements in technology, efforts to develop robots simulating human behavior have intensified. Cognitive robotics, combined with artificial intelligence (AI), has proven effective in surveying and research analysis.…

Robotics · Computer Science 2024-11-26 Hariharan Ragothaman , Harihar M , SK Guhananthan

The relationship between humans and artificial intelligence is no longer science fiction -- it's a growing reality reshaping how we live and work. AI has moved beyond research labs into everyday life, powering customer service chats,…

Artificial Intelligence · Computer Science 2025-06-17 Cosimo Spera , Garima Agrawal