External guards can withhold an accelerator's output and trigger recovery, but their usefulness depends on which faults their numerical tests detect. We examine software fault-injection campaigns in convolutional networks, a vision transformer, and a decoder language model, distinguishing reported results from independ...
Serhii Serhieiev, Lidiia Pukhkan· Zenodo (CERN European Organi...· 0 citations
The integration of symbolic reasoning with deep reinforcement learning presents a promising paradigm for achieving transparent and interpretable sequential decision-making in complex environments. This work introduces NeuroSymbolic-RLNet, a novel hybrid framework that combines symbolic state transition graphs with neur...
Mohammed Abdullah Alsuwaiket· Scientific Reports· 0 citations
This review-style study examines how reinforcement learning agents and graph neural networks are being integrated into gate-level logic synthesis for electronic design automation. It discusses how GNN-derived structural embeddings support pre-layout estimation of signal probability and switching activity, how RL agents...
Zandro Guinialope· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
This review-style study examines how reinforcement learning agents and graph neural networks are being integrated into gate-level logic synthesis for electronic design automation. It discusses how GNN-derived structural embeddings support pre-layout estimation of signal probability and switching activity, how RL agents...
Zandro Guinialope· Zenodo (CERN European Organi...· 0 citations
This study highlights the potential of image-based reinforcement learning methods for addressing swarm-related tasks. In multi-agent reinforcement learning, effective policy learning depends on how agents sense, interpret, and process local inputs. Traditional approaches often rely on handcrafted feature extraction...
Y. Koifman, E. Iceland, E. Koifman et al.· Artificial Life and Robotics· 0 citations
Large language models (LLMs) are increasingly used in Electronic Design Automation (EDA) to write hardware description code. This paper reviews how LLMs generate and verify Verilog for a RISC-V processor datapath, a core topic in Computer Architecture and Organization. The review is built around the AI-driven logic syn...
RENZ HERALD ELAMPARO· Zenodo (CERN European Organi...· 0 citations
Abstract Cloud-based systems demand secure yet efficient file access mechanisms. Traditional encryption frameworks often introduce latency and resource overhead, limiting scalability. Building on Astillero's (2026) AI-driven logic gate synthesis, this paper explores how Artificial Intelligence (AI) can optimize encrypt...
Diane Rose Cepe· Zenodo (CERN European Organi...· 0 citations
Abstract Cloud-based systems demand secure yet efficient file access mechanisms. Traditional encryption frameworks often introduce latency and resource overhead, limiting scalability. Building on Astillero's (2026) AI-driven logic gate synthesis, this paper explores how Artificial Intelligence (AI) can optimize encrypt...
Diane Rose Cepe· Zenodo (CERN European Organi...· 0 citations
Large language models (LLMs) are increasingly used in Electronic Design Automation (EDA) to write hardware description code. This paper reviews how LLMs generate and verify Verilog for a RISC-V processor datapath, a core topic in Computer Architecture and Organization. The review is built around the AI-driven logic syn...
RENZ HERALD ELAMPARO· Zenodo (CERN European Organi...· 0 citations
Abstract. Glacierized high-mountain basins supply water to approximately two billion people yet remain among the most data-scarce hydrologic regions globally, making truly ungauged streamflow prediction a critical challenge. Deep learning (DL) offers a promising alternative to traditional regionalization, but fundament...
Abstract Targeting autoinducer-2 (AI-2) quorum sensing (QS) systems with dietary compounds represents a promising strategy to combat pathogens, yet mechanisms remain elusive. Here, we develop a machine learning-driven framework combining computational screening with multi-level experimental analysis to identify AI-2 qu...
Sheng-Bo Wu, Peng Zhang, Man-Man Wang et al.· Gut microbes· 0 citations
Machine-learning networks can learn without detailed instructions from a designer. Those that do may offer insight into how the brain reorganizes itself during learning.
MIT News · Artificial Intelligence· news.mit.eduJul 15, 2026
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.