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 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
Abstract 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 extra...
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
Reach audiences
Advertise in front of researchers, engineers, and readers.
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...
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 quorum sens...
Sheng-Bo Wu, Peng Zhang, Man-Man Wang et al.· Gut microbes· 0 citations
Transformers have demonstrated promise in time-series forecasting, attributed to their superior capability of capturing temporal dependencies. Nevertheless, prevailing transformer models predominantly concentrate on the temporal dependencies within single-/multi-variate time series. This focus results in insufficient c...
Zhongqi Miao, Lixing Chen, Yang Bai et al.· ACM Transactions on Intellig...· 0 citations
Click-through rate (CTR) prediction is a crucial task to estimate the probability that users will click on items in online platforms. Recently, researchers have incorporated semantics derived from large language models (LLMs) into representations of users and items in graph neural networks (GNNs) framework to facilitat...
Shan Gao, Yan-Wu Yang· ACM Transactions on Knowledg...· 0 citations
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.