This paper presents a novel approach to automated software vulnerability detection using scalable graph neural networks (GNNs). Traditional vulnerability detection methods often rely on manual code review or signature-based approaches, which are labor-intensive, error-prone, and struggle to identify novel vulnerabiliti...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel graph embedding approach specifically designed for sensor networks exhibiting dynamic topologies. Traditional graph embedding techniques often rely on static graph structures, rendering them ineffective in environments where network connections are constantly changing due to node failures,...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel dynamic probabilistic graph model, leveraging high-dimensional neural networks, for natural language processing. We propose a mechanism that dynamically adjusts the network parameters to enhance both semantic reasoning and knowledge graph construction capabilities. The core challenge lies...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper explores the application of Graph Neural Networks (GNNs) to the fields of program synthesis and optimization. The core idea is to represent program code as graph structures and leverage the power of GNNs to automatically learn the underlying structure and semantics. This approach offers a novel pathway for p...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
This paper introduces a novel decentralized learning framework for Graph Neural Networks (GNNs) leveraging a Proof-of-Work (PoW) consensus mechanism. Traditional GNN training relies heavily on centralized servers, leading to vulnerabilities regarding single points of failure and hindering scalability. Our approach addr...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel approach to program optimization leveraging the power of Graph Neural Networks (GNNs). The core idea is to represent program abstractions, such as Control Flow Graphs (CFGs) and Data Dependency Graphs (DDGs), as graphs and utilize GNNs to automatically identify optimization opportunities a...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel dynamic probabilistic graph model, leveraging high-dimensional neural networks, for natural language processing. We propose a mechanism that dynamically adjusts the network parameters to enhance both semantic reasoning and knowledge graph construction capabilities. The core challenge lies...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper proposes a novel approach to logic programming that integrates neural networks with symbolic reasoning through the dynamic construction and evolution of a knowledge graph. The core idea is to leverage the pattern recognition capabilities of neural networks to learn logical rules and subsequently apply these...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Graph Neural Networks (GNNs) have emerged as a powerful tool for learning representations from graph-structured data, finding applications in diverse domains like social network analysis, drug discovery, and recommendation systems. However, training GNNs often requires access to sensitive data, raising significant priv...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Graph embeddings have become a cornerstone of modern graph analysis, enabling the representation of graph structures in continuous vector spaces. However, traditional graph embedding methods often struggle to effectively capture complex dependencies, particularly long-range dependencies and hierarchical relationships i...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel neural network architecture, termed "Adaptive Graph Neural Network" (AGN), that leverages dynamic graph structure learning to enhance data modeling and information extraction. Traditional neural networks typically employ static graph structures, limiting their ability to effectively captur...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper proposes a novel approach to constructing knowledge graphs from implicit, multi-modal data. Traditional knowledge graph construction heavily relies on manual annotation, a process that is both time-consuming and expensive. Our method leverages the rich information contained within user behavior data – encomp...
Jincheng Zhang· Zenodo (CERN European Organi...· 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.