Skip to content

Category

graph neural networks

2,354 papers

#graph neural networks Open access Aug 2026

Graph Neural Networks for Program Abstraction and Optimization

This paper explores the application of Graph Neural Networks (GNNs) to the problem of program abstraction and optimization. Traditional approaches to program abstraction often rely on manually crafted rules or limited pattern matching, which can be brittle and difficult to scale. This work proposes a novel framework th...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

##基于图神经网络的编译器优化

This paper proposes a novel approach to compiler optimization by leveraging the power of Graph Neural Networks (GNNs). Traditional compiler optimization techniques rely heavily on hand-crafted heuristics and static analysis, often struggling to capture complex code relationships and achieve optimal performance. We intr...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

Explainable AI for Graph Neural Networks via Symbolic Representation Learning

Graph Neural Networks (GNNs) have demonstrated remarkable success in various domains, including social network analysis, drug discovery, and recommendation systems. However, their inherent complexity often leads to a "black box" problem, where it is difficult to understand the reasoning behind their predictions. This p...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

Temporal Graph Embedding via Relational Dynamics

This paper introduces a novel approach to graph embedding that leverages the temporal dynamics of graph relationships. Traditional graph embedding techniques often treat graphs as static structures, failing to capture the evolving nature of connections between nodes. Our method, Temporal Graph Embedding via Relational...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

##基于图神经网络的程序错误诊断与修复

This paper proposes a novel approach to program error diagnosis and repair leveraging Graph Neural Networks (GNNs). Traditional methods for software defect detection and correction often rely on manual inspection or rule-based systems, which can be time-consuming, expensive, and prone to human error. Our approach trans...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

An edge AI‐powered power converter hardware platform for practical end‐to‐end AI‐to‐converter closed‐loop deployment

An edge AI‐powered power converter (EAI‐PC) hardware platform that utilizes locally deployed edge intelligence to establish bidirectional data exchange between converter low‐level control and EAI upper‐layer command dispatch and features an end‐to‐end AI‐to‐converter closed‐loop deployment framework.

Ping-Yang Sun, Fan Zhang, Zi-Hang Qiu et al. · 0 citations
#graph neural networks Open access Aug 2026

Graph Neural Networks for Modeling Biological Regulatory Networks with Stochasticity

Biological regulatory networks (BRNs) govern cellular processes with inherent stochasticity, reflecting the probabilistic nature of gene expression and protein interactions. Traditional Graph Neural Networks (GNNs) often treat these networks as deterministic, leading to inaccurate representations and predictions. This...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

Dependency Discovery Based on Topological Information

This paper presents a novel approach to dependency discovery within software systems, leveraging topological information derived from program code. The core idea is to automatically uncover complex dependencies between programs by analyzing control flow graphs, data dependencies, and abstract syntax trees (ASTs). A gra...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

Title: Emergent Semantic Networks for Mathematical Proof Verification

This paper explores the development of an emergent semantic network system designed to accelerate and enhance mathematical proof verification. Traditional methods rely heavily on manual verification, which is inherently slow and susceptible to human error. We propose a novel approach leveraging graph neural networks to...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

Temporal Graph Embeddings with Relational Dynamics

This paper introduces a novel approach to graph embedding that explicitly models the temporal dynamics of relationships within a graph. Current graph embedding techniques often treat graphs as static structures, neglecting the crucial aspect of how connections evolve over time. This work addresses this limitation by le...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

Computational Graph Optimization with Program Synthesis Techniques

The optimization of computational graphs is a critical step in deploying machine learning models, particularly deep neural networks. Traditional manual optimization methods are labor-intensive, require deep domain expertise, and are prone to human error. This paper proposes a novel approach leveraging program synthesis...

Jincheng Zhang · 0 citations
#graph neural networks Open access Aug 2026

基于自适应的图神经网络网络

This paper presents a novel approach to graph neural networks (GNNs) based on adaptive graph structures. Traditional GNNs often employ static graph structures, limiting their ability to effectively capture complex relationships within the data. This research introduces a dynamic graph structure adjustment mechanism, dy...

Jincheng Zhang · 0 citations

From tech blogs

See all →
Microsoft Research Blog Jul 13, 2026

Verifying Rust cryptography in SymCrypt, from standards to code

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.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.