Blockchain and distributed ledger technologies have received significant interest in various
areas beyond the financial sector, with profound applications in the Internet of Things (IoT) …

Due to the immutable nature of distributed ledger technology such as blockchain, it is of utter
importance that a smart contract works as intended before employment outside test network …

Mechanical reasoning is a key area of research that lies at the crossroads of mathematical
logic and artificial intelligence. The main aim to develop mechanical reasoning systems …

In this paper we address the following question: How can we use Large Language Models
(LLMs) to improve code independently of a human, while ensuring that the improved code …

Deep Reinforcement Learning (DRL) is critical in modern Artificial Intelligence (AI), powering
innovations from gaming to autonomous vehicles. As DRL continues its rapid ascent …

The proof development process in interactive theorem provers (ITPs) requires the users to
manually search for proofs by interacting with proof assistants. The activity of finding the …

The recent introduction of the big data paradigm and advancements in machine learning
and deep mining techniques have made proof guidance and automation in interactive …

The dominance of dual-setting directional overcurrent relays (DS-DOCRs) based protection
schemes and associated high-reliability requirements require rigorous verification of these …

Depending on the operational environment, installation location, and aging of oil and gas
pipelines, they are subject to various degradation mechanisms, such as cracking, corrosion …

Transform methods, such as the Laplace and the Fourier transforms, are widely used for
analyzing the continuous dynamics of the physical components of Cyber–physical Systems …